“…IFIP WG 5.2 Working Conference on Design Theory for CAD Tokyo, Japan…”