Reasoning about probabilistic sequential programs in a probabilistic logic
strong monotonicity of probabilistic predicate transformers
scientific article; zbMATH DE number 2055228