Relational and Algebraic Methods in Computer ScienceUli Fahrenberg, Peter Jipsen, Michael Winter₹4,147
