J.W.: Process algebra: Specification and verification in bisimulation semantics (1986)

by J A Bergstra, Klop
Venue:Proceedings Mathematics and Computer Science II, CWI Monograph