| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... Notes in Computer Science , Band 1292) | 978-3-54O-63398-3 (3-54O-63398-7) | 2008 | Herbert Kuchen · Hugh Glaser |