http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings
VDM (Symposium) 1991 : Noordwijkerhout, Netherlands)
v. 1. Conference contributions -- v. 2. Tutorials.
Includes bibliographical references and index.
Lecture notes in computer science ; 551-552