Rewriting logic and its applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers - Franciso Duran, editor (Spinger-Verlag, 2012)