Turner, D. A. "The semantic elegance of applicative languages"

[Proceedings] (1981) Proceedings of the 1981 conference on Functional programming languages and computer architecture 1981 , Portsmouth, New Hampshire, United States  

Languages mentioned KRC {1981} Kent Recursive Calculator SASL (2nd version) {1972} Lazy evaluation SASL