Elias Dahlhaus Johann A. Makowsky The Choice of Programming Primitives for SETL-Like Programming Languages. 160-172 1986 conf/esop/1986 ESOP db/conf/esop/esop86.html#DahlhausM86 http://dx.doi.org/10.1007/3-540-16442-1_12