Umansky, Ilya (1995) Completeness of Larch/C++ specifications for black-box reuse. Masters thesis, Concordia University.