A language facility for designing database-intensive applicationsJohn MylopoulosPhilip A. Bernsteinet al.1980ACM Transactions on Database Systems (TODS)