Serge Abiteboul Victor Vianu Procedural Languages for Database Queries and Updates. 181-229 1990 41 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss41.html#AbiteboulV90