Jeremy Dick, Jérôme Loubersac: A Visual Approach to VDM. SOFSEM 1996: 275-284