Unifying theories of programming second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 : revised selected papers / - Butterfield, A. (Springer,)