Shengchao Qin Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings 6445 2010 http://dx.doi.org/10.1007/978-3-642-16690-7 978-3-642-16689-1 UTP Lecture Notes in Computer Science Springer db/conf/utp/utp2010.html