"VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... v. 1 " - читать интересную книгу автора (Soren Prehn, Hans Toetenel)