Boppana, Lagarias, 1987. One-way functions and circuit complexity 74.. https://doi.org/10.1016/0890-5401(87)90022-8