Robin E. Bloomfield Lynn S. Marshall Roger B. Jones VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings VDM Europe Lecture Notes in Computer Science 328 Springer 1988 3-540-50214-9 db/conf/fm/vdme1988.html