Ian J. Hayes. Supporting Module Reuse in Refinement. Science of Computer Programming, 27(2):175-184, 1996.
@article{Hayes96, title = {Supporting Module Reuse in Refinement}, author = {Ian J. Hayes}, year = {1996}, tags = {refinement, reuse}, researchr = {https://researchr.org/publication/Hayes96}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {27}, number = {2}, pages = {175-184}, }