TY  - BOOK
AU  - Gero, John S.
TI  - Advances in formal design methods for CAD
SN  - 9780412727108 (hbk)
U1  - 620.42028 GER-A 1996 9281 
PY  - 1996///
CY  - London
ER  -