Formale Modelle zur einheitlichen Darstellung von Rechensystemen auf unterschiedlichen Detaillierungsebenen. - Wolf R. Haas (1980)