Lucid, a Nonprocedural Language with Iteration. - Ashcroft, E.A.; Wadge, W.W. (Communications of the ACM, 1977)