Refinement Workshop proceedings of the 3rd refinement workshop 9-11 January 1990, Hursley Park - Refinement Workshop (3rd : 1990 : IBM UK Laboratories); Morgan, Carol, 1952-; Woodcock, Jim; Oxford University Computing Laboratory. Programming Researches Group; IBM UK Laboratories (London Springer-Verlag, 1991)
1
Keywords: Electronic digital computers -- Programming -- Congresses