Rod Downey Evan J. Griffiths Geoffrey LaForte On Schnorr and computable randomness, martingales, and machines. 613-627 2004 50 Math. Log. Q. 6 http://dx.doi.org/10.1002/malq.200310121 db/journals/mlq/mlq50.html#DowneyGL04