Proof of theorems in Z /
Smith, A.
Great Britain.Defence Research Agency.
Malvern : Defence Research Agency,
1992.
Includes bibliographical references.
Z (Computer program language)