The Algebra of Recursively Defined Processes and the Algebra of Regular Processes (1984)

by J A Bergstra, J W Klop
Venue:Inf. Comput