%0 Book %A Sheppard, Deri %I McGraw-Hill %D 1994 %C London %G English %B The McGraw-Hill international series in software engineering %@ 0077079078 %T An introduction to formal specification with Z and VDM / Deri Sheppard.