http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Demonstration, verification, justification
These papers appeared as fascicules 41 and 42 of Logique et analyse, 1968.