Introducing specification using Z : a practical case study approach /
Ratcliff, B.(Bryan)
London : McGraw-Hill,
c1994.
Bibliography : p. 257-258. - Includes index.
Z (Computer program language)