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