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