@inproceedings{Birtwistle:1988:HVF,
  title = "Hardware Verification by Formal Proof",
  author = "G. Birtwistle and B. Graham and T. Melham and R. Schediwy",
  year = "1988",
  booktitle = "Proceedings of the {C}anadian Conference on Electrical and Computer Engineering, {V}ancouver, {N}ovember 1988",
  editor = "V. K. Bhargava",
  pages = "379--384",
  publisher = "Canadian Society for Electrical Engineering",
}