Enrico Camporeale

http://www.cwi.nl/~camporea