Luigi Santocanale

• Relational and Algebraic Methods in Computer Science