D'Almeida, Juliette (1992) On the transformation of a semi-formal software description to a VDM specification. Masters thesis, Concordia University.