http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Guidelines for formal verification systems
National Computer Security Center (U.S.)
Includes bibliographical references (page 35).