http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
International Conference on Integrated Formal Methods 2002 : Turku, Finland)
Michael Butler, Luigia Petre, Kaisa Sere (eds.).
Includes bibliographical references and index.