@article{Melham:1994:MTP,
  title = "A Mechanized Theory of the {$\Pi$}-calculus in {HOL}",
  author = "T. F. Melham",
  year = "1994",
  issn = "1236-6064",
  journal = "Nordic Journal of Computing",
  number = "1",
  pages = "50--76",
  volume = "1",
}