Integrating Structured and Formal Methods: A Visual Approach to VDM. - Jeremy Dick; Jérôme Loubersac (ESEC, 1991)

The Visual Presentation of VDM Specifications. - Jeremy Dick; Jérôme Loubersac (VDM Europe (1), 1991)

A Visual Approach to VDM. - Jeremy Dick; Jérôme Loubersac (SOFSEM, 1996)