1. Abramsky, S.: The lazy
$$\lambda $$
-calculus. In: Turner, D. (ed.) Research Topics in Functional Programming. Chapter 4, pp. 65–117. Addison Wesley, Boston (1990)
2. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, Chap. 1, vol. 3, pp. 1–168. Oxford University Press, Oxford (1994)
3. Ahman, D., Plotkin, G.: Refinement types for algebraic effects. In: TYPES (2015)
4. Lecture Notes in Computer Science;D Biernacki,2012
5. Cartwright, R., Curien, P., Felleisen, M.: Fully abstract semantics for observably sequential languages. Inf. Comput. 111(2), 297–401 (1994)