Jacky, Jonathan The Way of Z Practical Programming with Formal Methods - Cambridge : Cambridge University Press, c1997 - XVIII, 350 p. : ill Includes Bibliographical References and Index ISBN: 0521559766 ISSN: Subjects--Topical Terms: Z Computer Program Language Dewey Class. No.: 005.12 / JAC