Books by IFIP WG10.1 Working Conference on Methodologies for Computer System Design (1983 Lille, France)