De Simone, Fabio (2015) Specifica e sintesi automatica di sistemi software: Una notazione in linguaggio z. [Laurea specialistica], Università di Bologna, Corso di Studio in Ingegneria informatica [LS-DM509]

Fiorini, Marco (2015) Tool a supporto della programmazione multi-piattaforma: Il caso di robovm e itucson. [Laurea], Università di Bologna, Corso di Studio in Ingegneria elettronica, informatica e telecomunicazioni [L-DM270] - Cesena, Documento ad accesso riservato.