Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers - Butterfield, Andrew (Springer Berlin Heidelberg, 2010)