"on Relational Methods in Computer Science, 3 conf., and Workshop of COST Action 274: TARSKI" - читать интересную книгу автора (Wendy MacCaull, Michael Winter, Ivo Düntsch)