1. S. Abramsky (1987): Observation equivalence as a testing equivalence. TCS 53, pp. 225–241.
2. S. Abramsky & S. Vickers (1990): Quantales, observational logic, and process semantics, unpublished manuscript.
3. P. Aczel (1988): Non-well-founded sets, CSLI Lecture Notes No. 14, Stanford University.
4. J.C.M. Baeten, J.A. Bergstra & J.W. Klop (1987): Ready-trace semantics for concrete process algebra with the priority operator. The Computer Journal 30(6), pp. 498–506.
5. J.W. de Bakker, J.N. Kok, J.-J.Ch. Meyer, E.-R. Olderog & J.I. Zucker (1986): Contrasting themes in the semantics of imperative concurrency. In: Current trends in concurrency (J.W. de Bakker, W.-P. de Roever & G. Rozenberg, eds.), LNCS 224, Springer-Verlag, pp. 51–121.