Hypertextual Electronic Library of Mathematics
(HELM)
http://www.cs.unibo.it/helm/
Andrea Asperti
<asperti@cs.unibo.it>
Luca Padovani
<luca.padovani@cs.unibo.it>
Claudio Sacerdoti Coen
<sacerdot@cs.unibo.it>
Irene Schena
<schena@cs.unibo.it>