A monad for randomized algorithms
scientific article; zbMATH DE number 6862922