1. The lazy lambda calculus;Abramsky,1989
2. On the reduction of CHOCS bisimulation to π-calculus bisimulation;Amadio,1993
3. Observational structures and their logic;Astesiano;Theoret. Comput. Sci.,1992
4. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
5. Algebra for communicating processes with abstraction;Bergstra;Theoret. Comput. Sci.,1985