@book{levy-2003-callbypushvalue,
  author = {Paul Blain Levy},
  title = {Call-By-Push-Value: A Functional/Imperative Synthesis},
  series = {Semantic Structures in Computation},
  volume = {2},
  publisher = {Springer Netherlands},
  year = {2003},
  doi = {10.1007/978-94-007-0954-6},
  url = {https://doi.org/10.1007/978-94-007-0954-6}
}