Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers - Naumann, David (Springer International Publishing : Imprint: Springer, 2015)