Richard S. Bird The Minout Problem. 121-124 1991 1 J. Funct. Program. 1 db/journals/jfp/jfp1.html#Bird91 https://doi.org/10.1017/S0956796800000083