Relational and Algebraic Methods in Computer ScienceJules Desharnais, Walter Guttmann, Stef Joosten₹2,751
