Design theory for CAD : proocedings of the IFIP 5.2 working conference ; Tokyo, Japan, 1 - 3 Oct. 1985 - Bijl, Aart (North-Holland Publishing, 1987)