Reading material

Additional material

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