@misc{W1997143185,
  author = {Eugenio Moggi},
  title = {Notions of computation and monads},
  year = {1991},
  howpublished = {Information and Computation},
  doi = {https://doi.org/10.1016/0890-5401(91)90052-4}
}