Proceedings of the 1999 International Conference on Theorem Proving in Higher Order Logics, Nice, France, 1999, TPHOLs'99. Springer LNCS 1690, pp. 113-130, 1999.
@INPROCEEDINGS{harrison-hol99, crossref = "hol99", author = John Harrison, title = "A Machine-Checked Theory of Floating Point Arithmetic", pages = "113--130"} @PROCEEDINGS{hol99, editor = "Yves Bertot and Gilles Dowek and Andr{\'e} Hirschowitz and Christine Paulin and Laurent Th{\'e}ry", booktitle = "Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99", series = "Lecture Notes in Computer Science", volume = 1690, address = "Nice, France", date = "September 1999", year = 1999, publisher = "Springer-Verlag"}