Jacobs, Bart
Introduction to coalgebra : towards mathematics of states and observation
Cambridge, United Kingdom : Cambridge University Press, 2017. xvi, 477 p. -- (Cambridge tracts in theoretical computer science ; 59) 
QA251.5 J33