"Relational Methods in Computer Science, 6 conf., RelMICS 2001" - читать интересную книгу автора (Harrie C.M. de Swart)