@inproceedings{Camilleri:1987:HVH,
  title = "Hardware Verification using Higher-Order Logic",
  author = "Albert Camilleri and Mike Gordon and Tom Melham",
  year = "1987",
  booktitle = "From {HDL} Descriptions to Guaranteed Correct Circuit Designs: Proceedings of the {IFIP} {WG} 10.2 Working Conference on From {HDL} Descriptions to Guaranteed Correct Circuit Designs, {G}renoble, {F}rance, 9--11 {S}eptember, 1986",
  editor = "Dominique Borrione",
  isbn = "0-444-70194-X",
  pages = "43--67",
  publisher = "North-Holland",
}