Rewriting Logic and Its Applications - Escobar; Martí-Oliet, Narciso (Springer International Publishing, 2020)