A logic for reasoning about stochastic information
scientific article; zbMATH DE number 91703
scientific article