Henning Urbat

• Coalgebraic Methods in Computer Science