Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
2018
Mathematics of Program Construction Mathematics of Program Construction
2010