You are about to access our book library "VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... (Lecture Notes in Computer Science, 551) full version"
.