An Introduction to Formal Specification Using Z (1991)

by B Potter, J Sinclair, D Till
Venue:International Series in Computer Science