@misc{indiciaef7b9b568ed0d,
  title = {Verification of Object-Oriented Programs: a Transformational Approach},
  author = {Krzysztof R. Apt and Frank S. de Boer and Ernst-Ruediger Olderog and Stijn de Gouw},
  year = {2011},
  url = {https://arxiv.org/abs/1004.4656},
  note = {Source identifier: 1004.4656}
}