http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Formal specification and software development
Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews [and others].
Programming languages (Electronic computers)
Prentice-Hall international series in computer science