3 <!DOCTYPE publication SYSTEM "publication.dtd">
6 <title>Formal Mathematics on the Web</title>
7 <author file="bologna/asperti"/>
8 <author file="bologna/padovani"/>
9 <author file="bologna/sacerdoti"/>
10 <author file="bologna/schena"/>
11 <where>Proceedings of the Eighth International Conference on
12 "Libraries and Associations in the Transient World:
13 New Technologies and New Forms of Cooperation", June 9-17, 2001,
14 Sudak, Autonomous Republic of Crimea, Ukraine</where>