Advances in Formal Design Methods for CAD by John S. Gero | Menrva Books | MenrvaBooks