Mikael Goldmann, Mats Näslund: The Complexity of Computing Hard Core Predicates. CRYPTO 1997: 1-15