Rocco De Nicola Matthew Hennessy Testing Equivalences for Processes. 83-133 1984 34 Theor. Comput. Sci. db/journals/tcs/tcs34.html#NicolaH84 http://dx.doi.org/10.1016/0304-3975(84)90113-0