Deciding equivalences in simple process algebras - Hirshfeld, Yoram (Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series, 1994)