Email Record: Formal design methods for CAD :