Donath, W. & Hoffman, A. (1973), 'Lower bounds for the partitioning of graphs', IBM Journal of Research and Development 17 (5), 420--425.