Paola Inverardi Monica Nesi Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting. 315-354 1995 139 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs139.html#InverardiN95 http://dx.doi.org/10.1016/0304-3975(94)00074-S