Formal Specification Approach in Designing Database System Using Z - Julaily Aida, Jusoh; Md Yazid, Mohamad Saman; Mustafa, Man (2014)