["A Language Facility for Designing Database-Intensive

Applications", J. Mylopoulos et al, ACM Trans Database Sys

5(2):185-207 (June 1980)].