TY - GEN AU - Yoshikawa H TI - Design Theory for CAD PY - 0000/// CY - North Hol PB - Amsterdam ER -