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

by J A Bergstra, J W Klop
Venue:In Proceedings of the 11 th ICALP, Antwerp, volume 172 of Lecture Notes in Computer Science