M2Z: A Tool for Translating a Natural Language Software Specification into Z. - Zarina Shukur; Abdullah Mohd Zin; Ainita Ban (ICFEM, 2002)