| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automatic Program Development: A Tribute to Robert Paige | 978-90-481-7674-8 | 2010 | Fritz Henglein · Harry Mairson · Alberto Pettorossi |
| Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday | 978-3-642-24932-7 | 2011 | Gul Agha · José Meseguer |
| Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers | 978-3-540-61580-4 | 2008 | Robert Gl??ck · Peter Thiemann |
| Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings | 978-3-540-42068-2 | 2008 | Andrzej Filinski |