Seol mar théacs é seo: Relational and algebraic methods in computer science :