1. Compilers: Principles, Techniques and Tools;Aho,1986
2. Compiling with Continuations;Appel,1992
3. The Optimal Implementation of Functional Programming Languages;Asperti,1998
4. Connection graphs;Bawden,1986
5. Implementing Distributed Systems Using Linear Naming;Bawden,1993