Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers - Escobar, Santiago (Springer International Publishing : Imprint: Springer, 2014)