Reference

JML Reference Manual

The best reference is the JML Reference Manual. Also available as a PDF file.

Preliminary Design of JML

There is also the Preliminary Design of JML. Again also available as a PDF file.

Manual Pages

Source

The source code for the above documents can be found at the JML homepage.