Software Technologies: Applications and Foundations - Milazzo; Varró, Dániel; Wimmer, Manuel (Springer International Publishing, 2016)