Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec: Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings. Lecture Notes in Computer Science 3119, Springer 2004, ISBN 3-540-23029-7