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 (Springer, 2014)