Ralf Hinze: Einfu''hrung in die funktionale Programmierung mit Miranda.
Teubner 1991.

Simon Thompson: Miranda - the craft of functional programming.
Addison-Wesley 1995.