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