Magne Haveraaen

Algebra and Coalgebra in Computer Science