Effective randomness - Merkle, Wolfgang (Heidelberg, Univ., Habil.-Schr., 2004, 2004)