1. P. Aczel. A general Church-Rosser theorem. Draft, Manchester, 1978.
2. A. Asperti and C. Laneve. Interaction Systems I: the theory of optimal reductions. Technical Report 1748, INRIA-Rocquencourt, September 1992. A revised version will appear on the journal Mathematical Structures in Computer Science.
3. A. Asperti and C. Laneve. Interaction Systems II: the practice of optimal reductions. Technical Report UBLCS-93-12, Laboratory for Computer Science, Universitá di Bologna, May 1993. Also Research Report n. 2001, INRIA-Sophia Antipolis.
4. A. Asperti and C. Laneve. Optimal Reductions in Interaction Systems. In TapSoft '93, volume 668 of Lecture Notes in Computer Science, pages 485–500. Springer-Verlag, 1993.
5. A. Asperti and C. Laneve. The family relation in Interaction Systems. to appear on Proc. of Theoretical Aspects of Computer Science 1994, Senday, Japan, 1994.