http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Formal techniques for networked and distributed systems -- FORTE 2005
25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
Includes bibliographical references and index.