Algebra of communicating processes with abstraction (1985)

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