A Level of Martin-Lof Randomness - Bradley S. Tice (Taylor and Francis, 2012)