Rewriting logic and its applications (extended selected papers from WRLA 2014)
scientific article; zbMATH DE number 6658138