@article{BredeBotta2021,
  author    = {Nuria Brede and Nicola Botta},
  title     = {On the correctness of monadic backward induction},
  journal   = {Journal of functional programming},
  volume    = {31},
  doi       = {10.1017/S0956796821000228},
  year      = {2021},
}