Proof in VDM
Subtitle: A Practitioner’s Guide
Published: 1994
ISBN-13: 9781447120339