Fundamental Approaches to Software Engineering - Hähnle (Springer International Publishing, 2019)