Advances in Rule Interchange and Applications - Paschke, Adrian (Springer Berlin Heidelberg, 2020)