1. S. Abramsky. Observation equivalence as a testing equivalence. Theoretical Comput. Sci., 53(3):225–241, 1987.
2. J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Univ. Press 1990.
3. J. A. Bergstra, J. W. Klop, and E.-R. Olderog. Failures without chaos: A new process semantics for fair abstraction. In M. Wirsing, ed., Formal Description of Programming Concepts — III, pp. 77–103. IFIP, Elsevier, 1987.
4. E. Brinksma. A theory for the derivation of tests. In Aggarwal and Sabnani, eds., Protocol Specification, Testing, and Verification VIII, pp. 63–74. Elsevier, 1988.
5. E. Brinksma. Cache consistency by design. In Vuong and Chanson [24], pp. 53–67.