1
An invitation to applied category theory : seven sketches in compositionality [E-Book] /
2
Handbook of logic in computer science. 1. Background, mathematical structures /
Book