M. Dezani-Ciancaglini, P. Giannini, und B. Venneri. Gabbrielli's Festschrift, Volume 86 von OASIcs, Seite 3:1-3:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)
I. Castellani, M. Dezani-Ciancaglini, und P. Giannini. Models, Languages, and Tools for Concurrent and Distributed Programming, Volume 11665 von Lecture Notes in Computer Science, Seite 340-363. Springer, (2019)