Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs'98, Springer LNCS 1497, pp. 171-188.

@INPROCEEDINGS{harrison-dijkstra, crossref = "hol98", author = "John Harrison", title = "Formalizing {D}ijkstra", pages = "171--188"} @PROCEEDINGS{hol98, editor = "Jim Grundy and Malcolm Newey", booktitle = "Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98", series = "Lecture Notes in Computer Science", volume = 1497, address = "Canberra, Australia", date = "September/October 1998", year = 1998, publisher = "Springer-Verlag"}