"Relational and Algebraic Methods in Computer Science - RAMICS 2011 " - читать интересную книгу автора (Harrie de Swart)