Title: An Introduction to Formal Specification With Z and Vdm
First published: December 1994