"Two Approaches towards the Formalisation of VDM."

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