Theorems on the variable-length intrinsic randomness | IEEE Journals & Magazine | IEEE Xplore