Te Sun Han: Theorems on the variable-length intrinsic randomness. IEEE Trans. Inf. Theory 46(6): 2108-2116 (2000)