TPHOLs 2008 proceedings are published as Volume 5170 of Springer-Verlag's Lecture Notes in Computer Science.
@proceedings{tphols2008a, editor = {Otmane Ait Mohamed, César Muñoz and Sofiène Tahar}, title = {Theorem Proving in Higher Order Logics, 21th International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings}, booktitle = {TPHOLs}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5170}, year = {2008} }
@techreport{tphols2008b, title = {Theorem Proving in Higher Order Logics: Emerging Trends Proceedings}, editor = {Otmane Ait Mohamed, César Muñoz and Sofiène Tahar}, month = 08, year = 2008, institution = {Department of Electrical Computer Engineering, Concordia University}, number = {2008-1-Ait Mohamed} }