| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... Notes in Computer Science , Band 2297) | 978-3-54O-43613-3 (3-54O-43613-8) | 2008 | Roland Backhouse · Jeremy Gibbons |
Crole, Roy · R. C. · Roy C. · Roy L. Crole