David R. Sutton, Peter J. H. King: Integration of Modal Logic and the Functional Data Model. BNCOD 1992: 156-174