1. F. Bancilhon and N. Spyratos. Update semantics of relational views. ACM Transactions on data bases, 6:557–575, 1981.
2. R.M. Burstall and P.J. Landin. Programs and their proofs: an algebraic approach. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 5, chapter 2, pages 17–43. American Elsevier, New York, 1969.
3. PhD thesis;L.M. Chirica,1976
4. Synthese Library;D. Dalen van,1986
5. Synthese library,1972