Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday - Martí-Oliet, Narciso; Ölveczky, Peter Csaba; Talcott, Carolyn (Springer International Publishing : Imprint: Springer, 2015)