1. Asperti, A. and Guerrini, S., The Optimal Implementation of Functional Programming Languages, Cambridge Univ. Press, 1997 (To appear).
2. Asperti, A. and Laneve, C., `Interaction Systems I: The Theory of Optimal Reductions’, Math. Struct. Comp. Sci., 4 (1994), 457–504.
3. Asperti, A., `So!e = 1: Optimizing Optimal A-Calculus Implementations’, in J. Hsiang (ed.), Rewriting Techniques and Applications, 6th International Conference, RTA-95, LNCS 914, Springer-Verlag, Kaiserslautern, Germany, 1995, pp. 102–116.
4. Asperti, A., `Linear Logic, Comonads and Optimal Reductions’, Fund. Infom., 22 (1995), 3–22.
5. Gonthier, G., Abadi, M., and Lévy, J.-J., `The Geometry of Optimal Lambda Reduction’, in Proc. of Nineteenth Principles of Programming Languages ( POPL ), ACM, January 1992, pp. 15–26.