Gary T. Leavens Jean-Raymond Abrial Don S. Batory Michael J. Butler Alessandro Coglio Kathi Fisler Eric C. R. Hehner Cliff B. Jones Dale Miller Simon L. Peyton Jones Murali Sitaraman Douglas R. Smith Aaron Stump Roadmap for enhanced languages and methods to aid verification. 221-236 2006 conf/gpce/2006 GPCE http://doi.acm.org/10.1145/1173706.1173740 db/conf/gpce/gpce2006.html#LeavensABBCFHJMJSSS06