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