Dai, Kui (2005) Enhancements to the JML runtime assertion checker compiler. Masters thesis, Concordia University.