http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Logic based program synthesis and transformation
14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
LOPSTR (Symposium) 2004 : Verona, Italy)
viii, 277 pages : illustrations ; 24 cm.
Electronic reproduction. New York : Springer, 2008. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Oct. 10, 2008). Access may be restricted to users at subscribing institutions.
Includes bibliographical references and index.