1. S. Abramsky. Observation equivalence as a testing equivalence. Theoretical Computer Sci., 53: 225–241, 1987.
2. S. Abramsky and S. Vickers. Quantales, observational logic, and process semantics. Research Report DOC 90/1, Imperial College, London, 1990.
3. D. Austry and G. Boudol. Algèbre de processus et synchronisation. Theoretical Computer Sci., 30: 91–131, 1984.
4. J. C. M. Baeten and R. J. van Glabbeek. Another look at abstraction in process algebra. In T. Ottman, editor, Automata, Languages and Programming 14th ICALP, volume 267 of Lect. Notes in Computer Sci., pages 84–94. Springer-Verlag, 1987.
5. J. A. Bergstra and J. W. Klop. Process algebra for synchronous communication. Information and Control, 60: 109–137, 1984.