Mathieu Hoyrup Cristobal Rojas An Application of Martin-Löf Randomness to Effective Probability Theory. 260-269 2009 CiE http://dx.doi.org/10.1007/978-3-642-03073-4_27 conf/cie/2009 db/conf/cie/cie2009.html#HoyrupR09