"Relational and algebraic methods in computer science : 13th international conference, RAMICS 2012, Cambridge, UK, September 17-20, 2012 : proceedings" - читать интересную книгу автора (Wolfram Kahl; Timothy G Griffin )