Chris Reade Terminating Comprehensions. 247-250 1993 3 J. Funct. Program. 2 db/journals/jfp/jfp3.html#Reade93