Observation Equivalence as a Testing Equivalence - Abramsky, S (1987)