http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Advances in formal design methods for CAD
proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
Advances in formal design methods for computer-aided design
IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design (1995 : Mexico City, Mexico)
International Federation for Information Processing
edited by John S. Gero and Fay Sudweeks (associate editor).
Includes bibliographical references and author index.