Lilian Burdy Yoonsik Cheon David R. Cok Michael D. Ernst Joseph Kiniry Gary T. Leavens K. Rustan M. Leino Erik Poll An overview of JML tools and applications. 2003 80 Electr. Notes Theor. Comput. Sci. http://www1.elsevier.com/gej-ng/31/29/23/137/23/show/Products/notes/index.htt#006 db/journals/entcs/entcs80.html#BurdyCCEKLLP03