Two Approaches towards the Formalisation of VDM. - Christine Lafontaine; Yves Ledru; Pierre-Yves Schobbens (VDM Europe, 1990)

Formalization of the VDM Reification in the DEVA Meta-Calculus - The Human-Leucocyte-Antigen Case Study. - Christine Lafontaine (Programming Concepts and Methods, 1990)

Integration of Semantical Verification Conditions in a Specification Language Definition. - Didier Bert; Christine Lafontaine (AMAST, 1991)

An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. - Christine Lafontaine; Yves Ledru; Pierre-Yves Schobbens (Commun. ACM, 1991)

The Generic Development Language Deva: Presentation and Case Studies - Matthias Weber 001; Martin Simons 001; Christine Lafontaine (Springer, 1993)