Wilfrid Hodges International Copyright and Mathematics. 72-86 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2730&spage=72 2002 conf/icm/2002ei Electronic Information and Communication in Mathematics db/conf/icm/icm2002ei.html#Hodges02