Formal Design Methods for CAD (IFIP Transactions B: Computer Applications in Technology) by John S. Gero | Menrva Books | MenrvaBooks