Theoretical Aspects of Software Engineering - Yamine Aït-Ameur, Florin Cr?ciun (Springer, 2022)