Fundamental Approaches to Software Engineering - Wehrheim; Cabot, Jordi (Springer International Publishing, 2020)