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