TY  - BOOK
AU  - Gero, John S
TI  - Advances in formal design methods for CAD : proceedings of the IFIP WG5.2 workshop on formal design methods for computer-aided design
SN  - 9780412727108
U1  - 620.00420285 GER 
PY  - 1996///
CY  - London
PB  - Chapman & Hall
KW  - Computer-aided design
ER  -