Christian Lengauer Chua-Huang Huang The Static Derivation of Concurrency and its Mechanzed Certification. 131-150 1984 conf/concur/1984 Seminar on Concurrency db/conf/concur/concur1984.html#LengauerH84 http://dx.doi.org/10.1007/3-540-15670-4_7