Zarina Shukur Abdullah Mohd Zin Ainita Ban M2Z: A Tool for Translating a Natural Language Software Specification into Z. 406-410 2002 conf/icfem/2002 ICFEM http://link.springer.de/link/service/series/0558/bibs/2495/24950406.htm db/conf/icfem/icfem2002.html#ShukurZB02