A Mechanized Theory of the Pi-Calculus in HOL. - Melham, Thomas F. (Nord. J. Comput., 1994)