http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Logic based program synthesis and transformation
15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
LOPSTR (Symposium) 2005 : London, England)
Includes bibliographical references and index.