Julaily Aida, Jusoh and Mohd Yazid, Md Saman and Mustafa, Man (2015) Formal specification approach in designing database system using Z. ARPN Journal of Engineering and Applied Sciences, 10 (3). pp. 1192-1197. ISSN 18196608