Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers - Wolff, Burkhart; Gaudel, Marie-Claude; Feliachi, Abderrahmane (Springer Berlin Heidelberg : Imprint: Springer, 2013)