Celer, Alicja B (1995) Role of Larch/C++ specifications in black-box testing of object-oriented software. Masters thesis, Concordia University.