Gehlot, V. and Y. N. Srikant "Interpreter for SLIPS --- an Applicative Language Based on Lambda-Calculus"

(1986) Computer Languages 11(1)  

Languages mentioned SLIPS {1984}