Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

Steve Dunne Bill Stoddart Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers 4010 2006 3-540-34750-X UTP Lecture Notes in Computer Science Springer db/conf/utp/utp2006.html