http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
by Dieter Hutter, Werner Stephan, Paolo Traverso.
Programming Languages, Compilers, Interpreters
Lecture notes in computer science ; 1641