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