http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Logic-based program synthesis and transformation
9th International Workshop, LOPSTR '99, Venice, Italy, September 1999 : selected papers
International Workshop on Logic Program Synthesis and Transformation 1999 : Venice, Italy)
Includes bibliographical references and index.
Lecture notes in computer science ; 1817