| 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, ... Lectures | 978-3-54O-43613-3 (3-54O-43613-8) | 2002 | Roland Backhouse · Jeremy Gibbons |