[Blum82] Blum, M. Blum and S. Micali How to Generate Cryptographically Strong Sequences of Pseudo-random bits, 1982, Proceedings of FOCS. []