Bounds on fixed-length post-processing functions for stationary biased random number generators | IEEE Conference Publication | IEEE Xplore