TY - BOOK AU - John Gero TI - Advances in formal design method for CAD SN - 9780412727108 U1 - 620.0042 PY - 1996/// CY - London PB - Chapman and Hall KW - Advances in formal design method for CAD ER -