http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Volume 2: Colloquium on Software Engineering (CSE)
by Hartmut Ehrig, Christiane Floyd, Maurice Nivat.