@misc{Pattinson:2003:ITC, author = {D. Pattinson}, title = {An Introduction to the Theory of Coalgebras}, note = {Lecture Notes, Second North American Summer School on Logic, Language and Information}, year = {2003}, url = {/~dirk/Publications/nasslli2003.pdf} }
@misc{Pattinson:2008:CCL, author = {D. Pattinson}, title = {{COALA}: Coalgebraic Logics and Applications}, note = {Tutorial Lecture Notes, IJCAR 2008}, year = {2008}, url = {/~dirk/Publications/ijcar2008.pdf} }