Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers - Bowen, Jonathan P.; Zhu, Huibiao. (Theoretical Computer Science and General Issues ;, 2017)