http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Hardware specification, verification, and synthesis
mathematical aspects Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989, proceedings