Christian Lengauer A Methodology for Programming with Concurrency: The Formalism. 19-52 1982 2 Sci. Comput. Program. 1 db/journals/scp/scp2.html#Lengauer82