Algebra of communicating processes (1986)

by J A Bergstra, J W Klop
Venue:Mathematics and Computer Science (CWI Monographs 1