| Shelfclass_id | 3.A |
| Sortkey | REFINEMENT |
| Authors | Editors: Cliff B. Jones, Roger C. Shaw, Tim Denvir |
| Title | REFINEMENT 1992: 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 |
| Publisher | British Computer Society |
| Year | 1992 |
| Languages | eng |
| Isbn | 3540197524 |
| Series | Workshops in computing |
| Description | viii, 378 p. ill. 25 cm. |
| Record date | 20140107 |
| Location | London |
| Keywords | Computer software, Computers |
| Notes | "Published in collaboration with the British Computer Society." |