http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Automatic verification methods for finite state systems
international workshop, Grenoble, France, June 12-14, 1989 : proceedings