Lucid, a nonprocedural language with iteration (1977)

by E A Ashcroft, W W Wadge
Venue:Communications of the ACM