Rossignoli, Stefano and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0245]. - Analisi di non ciclicità per strutture dati ricorsive. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.