Daniela Petrişan

• Coalgebraic Methods in Computer Science