"Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings " - читать интересную книгу автора (Shengchao Qin)