Coal. Selection of coals for coke making; by Joseph D. Davis.