TY  - BOOK
ED  - Refinement Workshop (3rd : 1990 : IBM UK Laboratories)
ED  - Morgan, Carol, 1952-
ED  - Woodcock, Jim
ED  - Oxford University Computing Laboratory.
ED  - IBM UK Laboratories
TI  - Refinement Workshop: proceedings of the 3rd refinement workshop 9-11 January 1990, Hursley Park
SN  - 3540196242
PY  - 1991///
CY  - London
PB  - Springer-Verlag
KW  - Electronic digital computers
KW  - Programming
KW  - Congresses
ER  -