Piotr Rudnicki Andrzej Trybulec On the Integrity of a Repository of Formalized Mathematics. 162-174 2003 conf/mkm/2003 MKM http://link.springer.de/link/service/series/0558/bibs/2594/25940162.htm db/conf/mkm/mkm2003.html#RudnickiT03