David R. Sutton, Carol Small: Extending Functional Database Languages to Update Completeness. BNCOD 1995: 47-63