Author: IFIP WG 10.1 Working Conference on Methodologies for Computer System Design (1983 Lille, France)