Algebra of communicating processes with abstraction (1985)

by J A Bergstra, J W Klop
Venue:Theoretical Computer Science