A Formal Model of a Generalized CSP-like Language. - Preben Folkjär; Dines Bjørner (IFIP Congress, 1980)