Unifying theories of programming second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers - Butterfield, Andrew (Lecture Notes in Computer Science,, 2010)