"Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers (Lecture ... Computer Science and General Issues)" - читать интересную книгу автора (Andrew Butterfield)