Mathieu Hoyrup Cristobal Rojas Applications of Effective Probability Theory to Martin-Löf Randomness. 549-561 2009 ICALP (1) http://dx.doi.org/10.1007/978-3-642-02927-1_46 conf/icalp/2009-1 db/conf/icalp/icalp2009-1.html#HoyrupR09