Design theory for CAD : proceedings of the IFIP WG 5.2 Working Conference on Design Theory for CAD, Tokyo, Japan, 1-3 October, 1985 - Yoshikawa, H. (Hiroyuki), 1933-; Warman, Earnest, 1935- (North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987)