Title: Ein Modell zur Analyse programminharenter Zusicherungen