Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010: proceedings / ed. S. Qin, 2010 r=on-line. - Текст : электронный.