Turner, D.A. "Miranda: A Non Strict Functional Language with Polymorphic Types"

(1985) Functional Programming Languages and Computer Architecture, LNCS 201, Springer 1985  

Languages mentioned Miranda {1985}