Mineral industry of Florida; by Lawrence E. Shirley and William D. Reves.