Donath, W.E. and Hoffman, A.J.. "Lower bounds for the partitioning of graphs." IBM Journal of Research and Development 17 , no. 5 (1973): 420--425.