Fabio Zanasi

Coalgebraic Methods in Computer Science
Introduction to String Diagrams for Computer Scientists