"A Logic for the Java Modeling Language JML."

Bart Jacobs, Erik Poll (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics