@phdthesis{Melham:1989:FAM,
  title = "Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic",
  author = "Thomas Frederick Melham",
  year = "1989",
  month = "August",
  school = "University of Cambridge",
}