J. M. Spivey, “The Z Notation: A Reference Manual,” Prentice-Hall, Englewood Cliffs, 1989.
has been cited by the following article:
Related Articles: