A Generalized Algebraic Data Manipulation Language and the Automatic Conversion of its Programs.

Barry E. Jacobs A Generalized Algebraic Data Manipulation Language and the Automatic Conversion of its Programs. 1980 conf/xp/1980 XP1 Workshop on Database Theory db/conf/xp/xp1980.html#Jacobs80