Thomas F. Melham A Mechanized Theory of the Pi-Calculus in HOL. 50-76 1994 1 Nord. J. Comput. 1 db/journals/njc/njc1.html#Melham94