Logic, Rewriting, and Concurrency - Martí-Oliet; Talcott, Carolyn; Ölveczky, Peter Csaba (Springer International Publishing, 2015)