| 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 | Carroll Morgan · British Computer Society Specialist Group in Formal Aspects of computi · IBM Uk Laboratories · Oxford University Computing Laboratory Programming Research Group |