Unifying Theories of Programming : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers - Andrew Butterfield ((Lecture Notes in Computer Science))