Anforderungen von ADA an eine Rechnerstruktur - Pfitzmann, Andreas 1958-2010; Treff, Leo (1980)