Peter Höfner

• Relational and Algebraic Methods in Computer Science