@inproceedings{Melham:1991:MTP,
  title = "A Mechanized Theory of the {$\pi$}-calculus in {HOL}",
  author = "T. F. Melham",
  year = "1991",
  booktitle = "Proceedings of the Second Workshop on Logical Frameworks",
  editor = "G. Huet and G. Plotkin",
  note = "Preliminary proceedings, published electronically after the workshop",
  pages = "219--237",
  publisher = "University of Edinburgh",
}