Fundamental Approaches to Software Engineering - Perdita Stevens, Andrzej Wąsowski (Springer Berlin Heidelberg, 2016)