The best reference is the JML Reference Manual. Also available as a PDF file.
There is also the Preliminary Design of JML. Again also available as a PDF file.
The source code for the above documents can be found at the JML homepage.