| Shelfclass_id | 3.A |
| Sortkey | REFINEMENT |
| Authors | Joseph M. Morris, Roger C. Shaw |
| Title | REFINEMENT 1991: 4th Refinement Workshop: proceedings of the 4th Refinement Workshop, organized by BCS-FACS, 9-11 January 1991, Cambridge |
| Publisher | Springer Pub. Co. |
| Year | c1991 |
| Languages | eng |
| Isbn | 3540196579 |
| Series | Workshops in computing |
| Description | viii, 478 p. ill. 25 cm. |
| Record date | 20070426 |
| Location | New York |
| Keywords | Computer software, Computers |
| Notes | "Published in collaboration with the British Computer Society." |