@misc{indiciaeaf44b51350eb,
  title = {Formal Small-step Verification of a Call-by-value Lambda Calculus Machine},
  author = {Fabian Kunze and Gert Smolka and Yannick Forster},
  year = {2019},
  doi = {10.1007/978-3-030-02768-1\_15},
  url = {https://arxiv.org/abs/1806.03205},
  note = {Source identifier: 1806.03205}
}