http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Logic-based program synthesis and transformation
18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers
LOPSTR (Symposium) 2008 : Valencia, Spain)
Electronic reproduction. New York : Springer, 2009. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Apr. 6, 2009). Access may be restricted to users at subscribing institutions.
Theoretical computer science and general issues
Lecture notes in computer science ; 5438