@misc{indiciaed73f77f571d3,
  title = {A System-Level Semantics},
  author = {Dan R. Ghica and Nikos Tzevelekos},
  year = {2012},
  url = {https://arxiv.org/abs/1201.4462},
  note = {Source identifier: 1201.4462}
}