Tyng-Ruey Chuang Benjamin Goldberg A Syntactic Approach to Fixed Point Computation on Finite Domains. 109-118 1992 LISP and Functional Programming http://doi.acm.org/10.1145/141471.141517 db/conf/lfp/lfp1992.html#ChuangG92