http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Logic-based program synthesis and transformation
19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers
LOPSTR (Symposium) 2009 : Coimbra, Portugal)
Electronic reproduction. New York : Springer, 2010. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Aug. 9, 2010). Access may be restricted to users at subscribing institutions.
Includes bibliographical references and index.
Theoretical computer science and general issues
Lecture notes in computer science ; 6037