The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal

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},
}