You are about to access our book library "Methodologies for computer system design: Proceedings for the IFIP WG 10.1 Working Conference on Methodologies for Computer System Design, Lille, France, 15-17 September, 1983 full version" .