Joachim W. Schmidt, Ingrid Wetzel, Alexander Borgida, John Mylopoulos. Database Programming by Formal Refinement of Conceptual Designs. IEEE Data Eng. Bull., 12(3):53-61, 1989. [doi]
@article{SchmidtWBM89,
title = {Database Programming by Formal Refinement of Conceptual Designs},
author = {Joachim W. Schmidt and Ingrid Wetzel and Alexander Borgida and John Mylopoulos},
year = {1989},
url = {http://sites.computer.org/debull/89SEP-CD.pdf},
tags = {refinement, programming, database},
researchr = {https://researchr.org/publication/SchmidtWBM89},
cites = {0},
citedby = {0},
journal = {IEEE Data Eng. Bull.},
volume = {12},
number = {3},
pages = {53-61},
}