Leavens, Peyton-Jones, Sitaraman, Smith, Stump, Abrial, Batory, Butler, Coglio, Fisler, Hehner, Jones, Miller, 2006. Roadmap for enhanced languages and methods to aid verification, in: . ACM Press.. https://doi.org/10.1145/1173706.1173740