J.W.: Process theory based on bisimulation semantics (1988)

by J A Bergstra, Klop
Venue:In: Advanced Topics in Artificial Intelligence, LNCS Vol 345, pp 50–122