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