Software Engineering and Algorithms - Radek Silhavy (Springer, 2021)