Reade, Chris (1993) Terminating comprehensions. Journal of Functional Programming, 3(2), pp. 247-250. ISSN (print) 0956-7968