Marco A. Casanova, José Mauro Volkmer de Castilho, Antonio Luz Furtado. Properties of Conceptual and External Database Schemas. In Dines Bjørner, editor, Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982. pages 409-430, North-Holland, 1982.
@inproceedings{CasanovaCF82,
title = {Properties of Conceptual and External Database Schemas},
author = {Marco A. Casanova and José Mauro Volkmer de Castilho and Antonio Luz Furtado},
year = {1982},
researchr = {https://researchr.org/publication/CasanovaCF82},
cites = {0},
citedby = {0},
pages = {409-430},
booktitle = {Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982},
editor = {Dines Bjørner},
publisher = {North-Holland},
isbn = {0-444-86619-1},
}