Observation Equivalence as a Testing Equivalence
S. Abramsky
Book Title
J. Theoretical Computer Science
Chapter
53
Pages
225−241
Year
1987
S. Abramsky