Bergonzoni, Sara (2012) Strumenti per l'analisi del tempo di esecuzione. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
Calderoni, Filippo (2012) Teoria delle categorie e logica categoriale. [Laurea], Università di Bologna, Corso di Studio in Matematica [L-DM270]