Aaronson, Melkebeek, 2011. On Circuit Lower Bounds from Derandomization.. https://doi.org/10.4086/toc.2011.v007a012