http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
International Conference on Integrated Formal Methods 2000 : Dagstuhl Castle, Germany)
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.).
Includes bibliographical references and index.
Lecture notes in computer science ; 1945