@misc{indiciaef3fc6d766e17,
  title = {A Formal System: Rigorous Constructions of Computer Models},
  author = {Garry Pantelis},
  year = {2017},
  url = {https://arxiv.org/abs/1510.04469},
  note = {Source identifier: 1510.04469}
}