Revising Z: I - logic and semantics (1999)

by M C Henson, S Reeves
Venue:Formal Aspects of Computing Journal