http://translate.google.com/translate?u=http%3A%2F%2Fwww.cs.unipr.it%2Fppl%2F&langpair=en%7Cit&hl=it&ie=UTF8 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara at cs.unipr.it