Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers Bowen Jonathan P. Heftet / 2017 / Engelsk
