Inefficiency in Packing Squares with Unit Squares. - K. F. Roth; Robert C. Vaughan (J. Comb. Theory A, 1978)