1. Duolingo.
https://www.duolingo.com
2. PAT: Process Analysis Toolkit. pat.comp.nus.edu.sg
3. Cerone, A.: Towards a cognitive architecture for the formal analysis of human behaviour and learning. In: Mazzara, M., et al. (eds.) STAF 2018 Workshops, LNCS 11176, pp. 216–232 (2018).
https://doi.org/10.1007/978-3-030-04771-9_17
4. Dix, A., Finlay, J., Abowd, G., Beale, R.: Human Computer Interaction. Prentice Hall, Upper Saddle River (2004)
5. Hoare, C.A.R.: Communication Sequential Processes. Prentice Hall, Upper Saddle River (2004)