Ray Nickson, Ian J. Hayes. Supporting Contexts in Program Refinement. Science of Computer Programming, 29(3):279-302, 1997.
@article{NicksonH97, title = {Supporting Contexts in Program Refinement}, author = {Ray Nickson and Ian J. Hayes}, year = {1997}, tags = {refinement, context-aware}, researchr = {https://researchr.org/publication/NicksonH97}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {29}, number = {3}, pages = {279-302}, }