The history of KARL and ABL - Hartenstein, Reiner W. 1934-2022 (Universität <Kaiserslautern>, 1993)