Mathematics of Program Construction - Ekaterina Komendantskaya (Springer, 2022)