@misc{indiciae2c7060099763,
  title = {Formalisation of a frame stack semantics for a Java-like language},
  author = {Aleksy Schubert and Jacek Chrząszcz},
  year = {2018},
  url = {https://arxiv.org/abs/1808.05342},
  note = {Source identifier: 1808.05342}
}