Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings - Qin, Shengchao (Springer Berlin Heidelberg, 2010)