Xi, Hao (2006) Contributions to the JML project : safe arithmetic and non-null-by-default. Masters thesis, Concordia University.