T. Clement. The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal. Comput. J., 35(5):451-459, 1992.
@article{Clement92:0, title = {The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal}, author = {T. Clement}, year = {1992}, tags = {refinement, data-flow programming}, researchr = {https://researchr.org/publication/Clement92%3A0}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {35}, number = {5}, pages = {451-459}, }