An introduction to Z and formal specifications (1989)

by Spivey JM
Venue:IEE/BCS Software Engineering Journal