Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Mehlhorn, K. (1976). An O(n log n) lower bound for the synchronous circuit size of integer multiplication.