Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2000. Springer LNCS 1869, pp. 234-251, 2000.
@INPROCEEDINGS{harrison-div, author = "John Harrison", crossref = "hol00", title = "Formal verification of {IA-64} division algorithms", pages = "234--251"} @PROCEEDINGS{hol00, editor = "M. Aagaard and J. Harrison", booktitle = "Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000", series = "Lecture Notes in Computer Science", volume = 1869, year = 2000, publisher = "Springer-Verlag"}