Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings - Elsa L. Gunter, Amy Felty ((Lecture Notes in Computer Science))