Bruce J. MacLennan Four relational programs. 109-119 1988 23 SIGPLAN Notices 1 http://doi.acm.org/10.1145/44304.44314 db/journals/sigplan/sigplan23.html#MacLennan88