Unifying Theories of Programming - Bowen, Jonathan P. (Springer International Publishing, 2020)