Under whose supervision was the library four times growth in size ?
The roots of the Richardson Public Library date back to 1947 when a branch of the Dallas County Library was established in a section of the Cash Dry Goods store on East Main Street in downtown Richardson .