Anforderungen von ADA an eine Rechnerstruktur - Pfitzmann, Andreas 1958-2010; Treff, Leo (Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht, 1980)