@misc{indiciae6b22f92aedef,
  title = {An Executable Structural Operational Formal Semantics for Python},
  author = {Maximilian A. Köhl},
  year = {2021},
  url = {https://arxiv.org/abs/2109.03139},
  note = {Source identifier: 2109.03139}
}