Joost Engelfriet Determinacy - (Observation Equivalence = Trace Equivalence). 21-25 1985 36 Theor. Comput. Sci. db/journals/tcs/tcs36.html#Engelfriet85 http://dx.doi.org/10.1016/0304-3975(85)90028-3