G. S. Frandsen and P. B. Miltersen, “Reviewing Bounds on the Circuit Size of the Hardest Functions”, BRICS, vol. 12, no. 9, Mar. 2005.