The algebra of recursively de ned processes and the algebra of regular processes (1984)

by J A Bergstra, J W Klop
Venue:In Proceedings 11th ICALP, Antwerp