Proof in VDM: A Practitioner’s Guide
-
heftet
,
Engelsk, 1993