lecture-notes.bib

@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}
}