The Z Notation: A Reference Manual (1992)

by J M Spivey
Venue:International Series in Computer Science