An Introduction to Formal Specification and Z and VDM

GPTKB entity