Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan: Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Lecture Notes in Computer Science 3223, Springer 2004, ISBN 3-540-23017-3