Peter Höfner

Relational and Algebraic Methods in Computer Science