Ray Nickson Ian J. Hayes Supporting Contexts in Program Refinement. 279-302 1997 29 Sci. Comput. Program. 3 db/journals/scp/scp29.html#NicksonH97