Unifying Theories of Programming - Pedro Ribeiro, Augusto Sampaio (Springer, 2019)