Effective randomness - Merkle, Wolfgang (2004)