1. Lecture Notes in Computer Science;A.A. Adams,2003
2. The Matita interactive theorem prover,
http://matita.cs.unibo.it
3. Padovani, L.: A math canvas for the GNOME desktop. In: 5th Annual GNOME User and Developer European Conference (GUADEC 2004), vol. 107. Agder University College (2004)
4. LNAI;L. Padovani,2006
5. Electronic Notes in Theoretical Computer Science;C. Sacerdoti Coen,2006