The Z Notation: A (1989)

by J M SPIVEY
Venue:Reference Manual., Prentice-Hall International