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

(untitled) - Melham, T