Suraci, Stefano (2009) Linguaggi e ambienti CAD per la sintesi logica di sistemi digitali. [Laurea specialistica], Università di Bologna, Corso di Studio in Ingegneria informatica [LS-DM509]