"Two Approaches towards the Formalisation of VDM."

Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics