| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automatic Program Development: A Tribute to Robert Paige | 978-90-481-7674-8 (90-481-7674-3) | 2010 | Olivier Danvy · Fritz Henglein · Harry Mairson |
| Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers | 978-3-540-43915-8 (3-540-43915-3) | 2008 | |
| Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings | 978-3-540-56282-5 (3-540-56282-6) | 2008 | |