Oxford University Press · Springer
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Computer Program Construction | 978-0-19-509236-3 (0-19-509236-8) | 1994 | Ali Mili · Fatma Mili | |
| Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings | 978-3-642-13320-6 (3-642-13320-7) | 2010 | Claude Bolduc · Bechir Ktari | |
| Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, ... Notes in Computer Science, Band 11194) | 978-3-030-02148-1 (3-030-02148-3) | 2018 | Walter Guttmann · Stef Joosten |