Simulation Complexity. - Nicholas J. Hay (Fundam. Informaticae, 2008)

Every computably enumerable random real is provably computably enumerable random. - Cristian S. Calude; Nicholas J. Hay (Log. J. IGPL, 2009)

Representation of left-computable ε-random reals. - Cristian S. Calude; Nicholas J. Hay; Frank Stephan 001 (J. Comput. Syst. Sci., 2011)