The essence of Z /
Currie, Ed.
London : Prentice Hall Europe,
1999.
Includes bibliographical references and index.
Z (Computer program language)
Z (Computer program language)