Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen. North-Holland, IFIP Transactions A-10, pp. 129-156, 1993.
@INPROCEEDINGS{boulton-tpcd, crossref = "tpcd93", author = "Richard Boulton and Andrew Gordon and Mike Gordon and John Harrison and John Herbert and John Van Tassel", title = "Experience with embedding hardware description languages in {HOL}", pages = "129--156"} @PROCEEDINGS{tpcd93, editor = "Victoria Stavridou and Thomas F. Melham and R. T. Boute", booktitle = "Proceedings of the {IFIP} {TC10/WG 10.2} International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience", series = "IFIP Transactions A: Computer Science and Technology", volume = "A-10", address = "Nijmegen, The Netherlands", date = "22--24 June 1993", year = 1993, publisher = "North-Holland"}