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