Frage zu Artikel "Static Analysis of Determinate and Indeterminate.."