| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| 4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge: Proceedings of the 4th ... 9-11 January 1991 | 978-3-540-19657-0 (3-540-19657-9) | 1991 | Joseph M. Morris | |
| 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 1-10 January 1992 | 978-0-387-19752-4 (0-387-19752-4) | 1992 | Cliff B. Jones | |
| 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 | 978-3-540-19752-2 (3-540-19752-4) | 1992 | Cliff B. Jones · Tim Denvir |
C.S. · C. Shaw · R. C. · R. S. · R. Shaw · Roger C. · Roger S. · Roger Shaw