Second-order achievable rates in random number generation for mixed sources | IEEE Conference Publication | IEEE Xplore