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