Gaetano Aurelio Lanzarone, Mario Ornaghi. Program Construction by Refinements Preserving Correctness. Comput. J., 18(1):55-62, 1975.
@article{LanzaroneO75,
title = {Program Construction by Refinements Preserving Correctness},
author = {Gaetano Aurelio Lanzarone and Mario Ornaghi},
year = {1975},
tags = {refinement},
researchr = {https://researchr.org/publication/LanzaroneO75},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {18},
number = {1},
pages = {55-62},
}