1. I.J. Aalbersberg, G. Rozenberg: Theory of traces, Theoret. Comp. Science 60 (1988), 1–82.
2. M. Bednarczyk: Categories of asynchronous systems, PhD Thesis, University of Sussex, 1987.
3. G. Berry: Stable models of typed λ-calculi, in: 5TH ICALP, Lecture Notes in Computer Science, vol. 62, Springer, 1978, pp. 72–89.
4. G. Berry, J.-J. Lévy: Minimal and optimal computations of recursive programs, J. ACM 26 (1979), 148–175.
5. G. Boudol: Computational semantics of term rewriting, in: Algebraic Methods in Semantics (M. Nivat, J.C. Reynolds, eds.), Cambridge University Press, 1985, pp. 169–236.