An Introduction to Formal Specification and Z (1990)

by Potter BF, Sinclair JE, D Till
Venue:International Series in Computer Science