Einführung in die funktionale Programmierung mit Miranda