Reading material
Additional material
Pages 1-15 of
Preliminary Design of JML: A Behavioral Interface Specification Language for Java