books-edited.bib

@article{Pattinson:2013:CMC,
  author = {D. Pattinson and L. Schr{\"o}der},
  journal = {Journal of Computer and System Sciences},
  note = {Special Issue on Coalgebraic Methods in Computer
                 Science},
  volume = {81},
  number = {5},
  year = {2015}
}

@book{Pattinson:2012:CMC,
  editor = {Dirk Pattinson and Lutz Schr{\"o}der},
  title = {Coalgebraic Methods in Computer Science},
  publisher = {Springer},
  series = {Lecture Notes in Comp. Sci.},
  volume = {7399},
  year = {2012}
}

@book{Wirsing:2003:RTA,
  editor = {M. Wirsing and D. Pattinson and R. Hennicker},
  title = {Recent Trends in Algebraic Development Techniques},
  publisher = {Springer},
  series = {Lecture Notes in Comp. Sci.},
  volume = {2755},
  year = {2003},
  url = {http://springerlink.metapress.com/content/mbuxe4cj8emp/}
}

@article{Berger:2008:RTC,
  author = {J. Berger and D. Pattinson and P. Schuster and J.
                 Zappe (eds.)},
  journal = {Mathematical Logic Quarterly},
  note = {Special Issue on Recent Trends in Constructive
                 Mathematics},
  year = {2008},
  volume = {54},
  number = {1}
}