Delzanno, Giorgio Programming Logics, MPI for Informatics, Max Planck Society;
Bugliesi, M., Delzanno, G., Liquori, L., & Martelli, M. (2000). Object Calculi in Linear Logic. Journal of Logic and Computation, 10(1), 75-104.