http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Mathematical methods in program development
NATO Advanced Study Institute on Mathematical Methods in Program Development (1996 : Marktoberdorf, Germany)
edited by Manfred Broy, Birgit Schieder.
"Proceedings of the NATO Advances Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30-August 11, 1996"--T.p. verso
Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.