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

• Turner, D.A. (1985) Turner, D.A. "Miranda: A Non Strict Functional Language with Polymorphic Types"