Gao, Junming (1992) GAP -- a tool for transforming from VDM specification into object-oriented design. UNSPECIFIED thesis, Concordia University.