Andrea Asperti <asperti@cs.unibo.it>
Enrico Tassi <tassi@cs.unibo.it>
Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
Stefano Zacchiroli <zacchiro@cs.unibo.it>