@techreport{Melham:1992:MTP,
  title = "A Mechanized Theory of the {$\pi$}-calculus in {HOL}",
  author = "T. F. Melham",
  year = "1992",
  institution = "Computer Laboratory, University of Cambridge",
  month = "January",
  number = "244",
}