Berlingieri, Andrea (2019) Implementazione del linguaggio dichiarativo in Matita 0.99.x. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
Bucciarelli, Stefano (2019) Un compilatore per un linguaggio per smart contract intrinsecamente tipato. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]