| Shelfclass_id | 3.A |
| Sortkey | REFINEMENT |
| Authors | David Till |
| Title | REFINEMENT 1994: 6th Refinement Workshop: proceedings of the 6th Refinement Workshop, organized by BCS-FACS, London, 5-7 January 1994 |
| Publisher | Springer Pub. Co. |
| Year | c1994 |
| Languages | eng |
| Isbn | 3540198865 |
| Series | Workshops in computing |
| Description | ill. 25 cm. |
| Record date | 20070426 |
| Location | New York |
| Keywords | Computer software, Computers |
| Notes | "Published in collaboration with the British Computer Society." |