The Z Notation: a reference manual (1992)

by J Michael Spivey
Venue:International Series in Computer Science