The \(\top\)-filter monad and its applications
scientific article; zbMATH DE number 7372303
scientific article