Observation equivalence as a testing equivalence (1987)

by Samson Abramsky
Venue:Theoretical Computer Science