vesely-2019-one:
  type: chapter
  title: 'One Step at a Time: A Functional Derivation of Small-Step Evaluators from Big-Step Counterparts'
  author:
  - Vesely, Ferdinand
  - Fisher, Kathleen
  date: 2019
  page-range: 205-231
  url: http://dx.doi.org/10.1007/978-3-030-17184-1_8
  serial-number:
    doi: 10.1007/978-3-030-17184-1_8
    isbn: '9783030171841'
    issn: 1611-3349
  parent:
    type: book
    title: Programming Languages and Systems
    publisher: Springer International Publishing