Sheppard, Deri. (An) introduction to formal specification with Z and VDM / Deri Sheppard. - McGraw-Hill 1995. 8750 Subjects--Topical Terms: Z (Computer program language).Computer software - Development. LC Class. No.: QA76.73 / Z2She.