Quotienting the delay monad by weak bisimilarity. - Chapman, James; Uustalu, Tarmo; Veltri, Niccolò (Math. Struct. Comput. Sci., 2019)