Unifying Theories of Programming - Bowen; Zhu, Huibiao (Springer International Publishing, 2017)