1. ARIS scripting tutorials. http://www.ariscommunity.com/users/eva-klein/2010-04-27-aris-scripting-tutorials. Accessed May 1, 2018.
2. Pierce, B.C., Types and Programming Languages, MIT Press, 2002.
3. Lammel, R. and Visser, J., Typed combinators for generic traversal, Practical Aspects of Declarative Languages: 4th International Symposium, 2002.
4. Booch, G., Object-Oriented Analysis and Design with Applications, Upper Saddle River, N.J.: Addison-Wesley, 2007, 3rd ed.
5. Strachey, C., Fundamental concepts in programming languages, Higher-Order Symb. Comput., 2000, vol. 13, nos. 1–2.