http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Specification and Transformation of Programs
a Formal Approach to Software Development
1 online resource (xiii, 493 pages 44 illustrations)
Texts and monographs in computer science