Donath, W.E. ; Hoffman, A.J.: {Lower bounds for the partitioning of graphs}. In: IBM Journal of Research and Development, 17 (1973), Nr. 5, S. 420--425