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