http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Stepwise refinement of distributed systems
models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.).
Includes bibliographical references and index.