Z in practice - Barden, Rosalind (Englewood Cliffs, N.J. Prentice-Hall, 1994)
p. 385-395
1
Keywords: Z (Computer program language)