Z guide for beginners /
McMorran, Mike.
Powell, Steve.
Oxford : Blackwell Scientific,
1993.
Z (Computer program language)