Zwei Ebenen Entwurfs Ebene -> Von den anschaulichen Aufforderung zur mathematischen Spezifikation Implementierungs Ebene -> Von mathematischen Spezifikation zu Redeverhalten / Code