@misc{indiciaee447a6b2761b,
  title = {Systematic Abstraction of Abstract Machines},
  author = {David Van Horn and Matthew Might},
  year = {2011},
  url = {https://arxiv.org/abs/1107.3539},
  note = {Source identifier: 1107.3539}
}