G. S. Frandsen og P. B. Miltersen, “Reviewing Bounds on the Circuit Size of the Hardest Functions”, BRICS, bd. 12, nr. 9, mar. 2005.