1. Aczel P.H.G., Processes and Final Universes. Seminar, Dept. of Computer Sci-ence, Manchester University, (1993).
2. Asperti A., Martini S., Categorical Models of Polymorphism. In-formation and Computation 99, (1992), 1–79.
3. Banach R., Papadopoulos G., Parallel Term Graph Rewriting and Concurrent Logic Programs, in: Proc. WPDP-93, Bulgarian Acad, of Sci., Boyanov (ed.), (1993), 303–322. (North Holland, to appear.)
4. Banach R., Papadopoulos G., Linear Logic Behaviour of Term Graph Rewriting Programs, in: Proc. A.C.M. SAC-95, (1995), 157–163.
5. Banach R., Sargeant J., Watson I., Watson P., Woods V., The Flagship Project, in: Proc. UK-IT-88, (Alvey Technical Conference), 242–245, Information Engi-neering Directorate, Department of Trade and Industry, IEE Publications, (1988).