Rewriting Logic and Its Applications - Escobar (Springer International Publishing, 2020)