Brede, Nuria Potsdam Institute for Climate Impact Research;
Botta, Nicola Potsdam Institute for Climate Impact Research;
Brede, N., Botta, N. (in press): On the Correctness of Monadic Backward Induction. - Journal of Functional Programming.