Formale Eigenschaften von Programmen (2)