@techreport{Melham:1987:AMH,
  author = "Thomas F. Melham",
  institution = "Computer Laboratory, University of Cambridge",
  month = "May",
  number = "106",
  title = "Abstraction Mechanisms for Hardware Verification",
  year = "1987",
}