Algebra of communicating processes (1986)

by J A Bergstra, J W Klop
Venue:Mathematics and Computer Science, CWI Monograph 1, North-Holland