Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers Wolff, Burkhard Heftet / 2013 / Engelsk
