Integrating Use of VDM and Z. - Mei Wai Au; Chan H. Lee (Software Engineering Education, 1993)