From English into Z : a reverse specification process /
Giess, S. C.
Royal Signals and Radar Establishment (Great Britain)
Malvern : Royal Signals and Radar Establishment,
1991.
Includes bibliographical references.
Z (Computer program language)