Rewriting Logic and Its Applications - Kyungmin Bae (Springer, 2022)