Transformation of a semi-formal specification to VDM. - J. D'Almeida; Ramesh Achuthan; Thiruvengadam Radhakrishnan; Vangalur S. Alagar (KBSE, 1992)