| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| 3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop | 978-O-387-19624-4 (O-387-19624-2) | 1991 | Refinement Workshop 1990 (IBM Uk Laboratories) · Carroll Morgan · British Computer Society Specialist Group in Formal Aspects of computi · IBM Uk Laboratories |
C L · **O.C.** · O/U · Oxford University