Important Links
Machine generated authority record.
Work cat.: (OSt)97317: Advances in formal design methods for CAD, 1996.