You are about to access our book library "VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings (Lecture Notes in Computer Science, 328) full version" .