@techreport{Melham:1988:RTR,
  author = "Thomas F. Melham",
  institution = "Computer Laboratory, University of Cambridge",
  month = "May",
  number = "135",
  title = "Using Recursive Types to Reason about Hardware in Higher Order Logic",
  year = "1988",
}