De Franceschi, Matteo and Masini, Andrea (rel.) (2003) [BM Tesi I 0267]. - Tipi, dimostrazioni e programmi. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.