Jan A. Bergstra Jan Willem Klop The Algebra of Recursively Defined Processes and the Algebra of Regular Processes. 82-94 1984 conf/icalp/1984 ICALP db/conf/icalp/icalp84.html#BergstraK84 http://dx.doi.org/10.1007/3-540-13345-3_7