Title: Mathematische Modellierung der Konsistenz und konsistenzerhaltender Erweiterungen von Vererbung in objektorientierten Sprachen