An exact algorithm for the stratification problem with proportional allocation. - José Andre de Moura Brito; Nelson Maculan; Maurício Lila; Flávio Montenegro (Optim. Lett., 2010)