Robert Goldblatt A comonadic account of behavioural covarieties of coalgebras. 243-269 2005 15 Mathematical Structures in Computer Science 2 http://dx.doi.org/10.1017/S096012950400458X db/journals/mscs/mscs15.html#Goldblatt05