Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'97, Springer LNCS 1275, pp. 137-152..
@INPROCEEDINGS{harrison-poly, crossref = "hol97", author = "John Harrison", title = "Verifying the accuracy of polynomial approximations in {HOL}", pages = "137--152"} @PROCEEDINGS{hol97, editor = "Elsa L. Gunter and Amy Felty", booktitle = "Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97", series = "Lecture Notes in Computer Science", volume = 1275, address = "Murray Hill, NJ", date = "19--22 August 1997", year = 1997, publisher = "Springer-Verlag"}