Tyng-Ruey Chuang Benjamin Goldberg A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains. 357-394 1997 7 J. Funct. Program. 4 db/journals/jfp/jfp7.html#ChuangG97 http://journals.cambridge.org/action/displayAbstract?aid=44105