Leavens, Gary T. ; K. Rustan M. Leino, Erik Poll, Clyde Ruby, and Bart Jacobs. JML: notations and tools supporting detailed design in Java

(2000) OOPSLA '00 Companion, Minneapolis, Minnesota, August 2000  

Languages mentioned JML {1998} Interface specification language for JAVA