http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings
International Static Analysis Symposium 2007 : Lyngby, Denmark)
Hanne Riis Nielson, Gilberto Filé (eds.).
Includes bibliographical references and index.
Programming languages (Electronic computers)