Leavens, G. T., Cheon, Y., & Archives, T. P. S. U. C. (2006). Java Modeling Language (JML), and explains how. http://www.cs.toronto.edu/~chechik/courses05/csc410/readings/jmldbc.pdf.
Chicago-Zitierstil (17. Ausg.)Leavens, Gary T., Yoonsik Cheon, und The Pennsylvania State University CiteSeerX Archives. "Java Modeling Language (JML), and Explains How." Http://www.cs.toronto.edu/~chechik/courses05/csc410/readings/jmldbc.pdf 2006.
MLA-Zitierstil (9. Ausg.)Leavens, Gary T., et al. "Java Modeling Language (JML), and Explains How." Http://www.cs.toronto.edu/~chechik/courses05/csc410/readings/jmldbc.pdf, 2006.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.