1. Lecture Notes in Computer Science;A.M. Pitts,2002
2. Plotkin, G.: Full abstraction, totality and PCF (1997)
3. Cartwright, R., Felleisen, M.: Observable sequentiality and full abstraction. In: Conf. Record of 19th Ann. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 1992, pp. 328–342. ACM Press, New York (1992)
4. Milne, R., Strachey, C.: A Theory of Programming Language Semantics. Halsted Press, New York (1977)
5. Scott, D.: Mathematical concepts in programmng language semantics. In: Proc. of 1972 Spring Joint Computer Conferences, pp. 225–234. AFIPS Press (1972)