books-edited.bib

@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,
  editor = {J. Berger and D. Pattinson and P. Schuster and J.
                 Zappe},
  journal = {Mathematical Logic Quarterly},
  note = {Special Issue on Recent Trends in Constructive
                 Mathematics},
  year = {2008},
  volume = {54},
  number = {1}
}