Unifying Theories of Programming : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings - Shengchao Qin ((Lecture Notes in Computer Science))