Dean Jacobs Bernd Mahr Concepts of Algebraic Database Programming Languages. 1988 ADT db/conf/adt/adt1988.html#JacobsM88