Ítems similars: Relational and Algebraic Methods in Computer Science :