Ciancarini, P; Cimato, S; Mascolo, C; (1997) Engineering formal requirements: an analysis and testing method for Z documents. Annals of Software Engineering , 3 (1/3) pp. 189-220.