1. Abelson, H., Sussman, G.J., Sussman, J.: Structure and Interpretation of Computer Programs. MIT Press (1984)
2. Aditya, S., Arvind, Augustsson, L., Maessen, J.W., Nikhil, R.S.: Semantics of pH: A parellel dialect of Haskell. In: Proc. Haskell Workshop, pp. 34–49 (1995)
3. Appel, A., Blume, M., Gansner, E., George, L., Huelsbergen, L., MacQueen, D., Reppy, J., Shao, Z.: Standard ML of New Jersey User’s Guide (1997)
4. Burn, G.L., Hankin, C.L., Abramsky, S.: Strictness analysis for higher-order functions. Sci. Comput. Program. 7, 249–278 (1986)
5. Crestani, M., Sperber, M.: Experience report: growing programming languages for beginning students. In: Proc. 15th ICFP, pp. 229–234 (2010)