Ralph-Johan Back. A Calculus of Refinements for Program Derivations. Acta Informatica, 25(6):593-624, 1988.
@article{Back88, title = {A Calculus of Refinements for Program Derivations}, author = {Ralph-Johan Back}, year = {1988}, tags = {refinement}, researchr = {https://researchr.org/publication/Back88}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {25}, number = {6}, pages = {593-624}, }