Funktionale Modellierung und Rekursion