TY - BOOK AU - Formal Engineering Design Synthesis AU - Antonsson, Erik K., ed. AU - Jonathan, Cagan, ed. TI - Formal engineering design synthesis SN - 0521792479 U1 - 620.0042 PY - 2001/// CY - Cambridge PB - Cambridge University Press ER -