Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday - Martí-Oliet, Narciso. (Springer International Publishing,)