1. Lecture Notes in Computer Science;B.C. Pierce,2005
2. Bengtson, J.: Generic implementations of process calculi in Isabelle. In: The 16th Nordic Workshop on Programming Theory (NWPT’04), pp. 74–78 (2004)
3. Gabbay, M.J.: A theory of inductive definitions with α-equivalence. PhD thesis, University of Cambridge (2000)
4. Gabbay, M.J.: The π-calculus in FM. In: Kamareddine, F. (ed.) Thirty-five years of Automath, Kluwer Academic Publishers, Dordrecht (2003)
5. Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Aspects of Computing 13, 341–363 (2001)