A Mechanized Theory of the π−calculus in HOL - Melham, T (Computer Laboratory‚ University of Cambridge, 1992)