Melham, T. F. (1992). A mechanized theory of the pi-calculus in HOL.
Chicago-Zitierstil (17. Ausg.)Melham, Thomas F. A Mechanized Theory of the Pi-calculus in HOL. Cambridge, 1992.
MLA-Zitierstil (9. Ausg.)Melham, Thomas F. A Mechanized Theory of the Pi-calculus in HOL. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.