The hardware description language KARL-III - Hartenstein, Reiner W. 1934-2022 (Universität <Kaiserslautern>, 1985)