Proof in VDM : a practitioner's guide /
Bicarregui, Juan Carlos.
London : Springer-Verlag,
c1994.