Procedural languages for database queries and updates (1990)

by S Abiteboul, V Vianu
Venue:Journal of Computer and System Sciences