@inproceedings{Melham:1988:URT,
  title = "Using Recursive Types to Reason about Hardware in Higher Order Logic",
  author = "Thomas F. Melham",
  year = "1988",
  booktitle = "The Fusion of Hardware Design and Verification: Proceedings of the {IFIP} {WG} 10.2 Working Conference on The Fusion of Hardware Design and Verification: {G}lasgow, {S}cotland, 4--6 {J}uly, 1988",
  editor = "George J. Milne",
  isbn = "0-444-70532-5",
  pages = "27--50",
  publisher = "North-Holland",
}