Roy H. Campbell, Nayeem Islam, Peter Madany. Choices, Frameworks and Refinement. Computing Systems, 5(3):217-257, 1992.
@article{CampbellIM92, title = {Choices, Frameworks and Refinement}, author = {Roy H. Campbell and Nayeem Islam and Peter Madany}, year = {1992}, tags = {refinement}, researchr = {https://researchr.org/publication/CampbellIM92}, cites = {0}, citedby = {0}, journal = {Computing Systems}, volume = {5}, number = {3}, pages = {217-257}, }