Slides dell'esame finale di Laurea, 22 luglio 2010 presso il Dipartimento di Matematica e Informatica, Università degli Studi di Catania.