http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Formal methods in programming and their applications
international conference, Academgorodok, Russia, June 28-July 2, 1993 : proceedings
Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.
Includes bibliographical references and index.