The Z Notation (1989)

by J M Spivey
Venue:International Series in Computer Science