Lucid, a non-procedural language with iteration (1977)

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