Design theory for CAD : proceedings of the IFIP WG 5.2 Working Conference on Design Theory for CAD, Tokyo, Japan, 1-3 October, 1985. ISBN 0444701516. Published by North-Holland in 1987. Publication and catalogue information, links to buy online and reader comments.