Heraklit. Eine datengetriebene Rechnerarchitektur u. ihre formale Beschreibung. - Steinhoff, Alfons (Univ., Abt. Informatik, 1983)