| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| 4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, Organised by Bcs-Facs, 9-11 January 1991, Cambridge | 978-O-387-19657-2 (O-387-19657-9) | 1991 | Joseph M. Morris · British Computer Society Specialist Group in Formal Aspects of computi |