1. Kneuper R. Software processes and life cycle models. An introduction to modelling, using and managing agile, plan-driven and hybrid processes. Cham: Springer; 2018.
2. Dahl OJ, Dijkstra EW, Hoare CAR. Structured programming (APIC studies in data processing; vol. 8). New York: Academic Press Inc; 1972.
3. Beck K, Beedle M, van Bennekum A, et al. Manifesto for Agile software development (2001). http://agilemanifesto.org. Accessed 22 Feb 2022.
4. Booch B, Rumbaugh J, Jacobson I. The unified modeling language user guide. 1st ed. Upper Saddle River: Addison Wesley; 1998.
5. Abrial J-R. Assigning programs to meanings. Cambridge: Cambridge University Press; 1996.