1. Lecture Notes in Computer Science;J. Berdine,2006
2. Lecture Notes in Computer Science;C. Calcagno,2007
3. Calcagno, C., Gardner, P., Zarfaty, U.: Context logic and tree update. In: POPL, vol. 40, ACM, New York (2005)
4. Cardelli, L., Gordon, A.D.: Ambient logic. Mathematical Structures in Computer Science (in press, 2006)
5. Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Aspects of Computing 13 (2002)