TY  - GEN
AU  - Gero, John S. ed.
TI  - Advances in formal design methods for CAD
SN  - 0412727102
PY  - 1996///
CY  - London
PB  - Chapman & Hall
KW  - COMPUTER AIDED DESIGN
ER  -