Unifying Theories of Programming - Ribeiro (Springer International Publishing, 2019)