| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings | 978-3-540-73857-2 (3-540-73857-6) | 2007 | |
| Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers | 978-3-642-28411-3 (3-642-28411-6) | 2012 | Hans-Jörg Kreowski |