Fundamental Approaches to Software Engineering - HÃ¤hnle; van der Aalst, Wil (Springer International Publishing, 2019)