http://wwwrdc.dei.unipd.it/pari/lab1.html