JML reference manual (2004)

by G T Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D R Cok, J Kiniry