Title: Coalgebraic Methods in Computer Science
Subjects: Computer science, mathematics, Computer software