Programmieren mit STYLE: Über die systematische Entwicklung von Programmierumgebungen