1. Ahmed, A., Appel, A., Virga, R.: A stratified semantics of general references embeddable in higher-order logic. In: Proceedings of IEEE Symposium on Logic in Computer Science, Copehagen, 2002. (2002) to appear
2. Kelsey, R., Clinger, W., (Editors), J.R.: Revised5 report on the algorithmic language Scheme. ACM SIGPLAN Notices 33 (1998) 26–76
3. Moggi, E.: An abstract view of programming languages. Technical Report ECS-LFCS-90-113, Dept. of Computer Science, Edinburgh Univ. (90)
4. Lect Notes Comput Sci;G.D. Plotkin,2002
5. Stark, I. D.B.: Names and Higher-Order Functions. PhD thesis, University of Cambridge (1994)