Author: IFIP WG 5.2 Working Conference on Design Theory for CAD (1985 Tokyo, Japan)