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