Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers - Lucanu, Dorel (Springer International Publishing : Imprint: Springer, 2016)