| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected ... Notes in Computer Science , Band 2664) | 978-3-54O-4O438-5 (3-54O-4O438-4) | 2008 |