Jules Desharnais

Relational and Algebraic Methods in Computer Science

Mathematics of Program Construction