Ethyl benzene. Isolation of ethylbenzene from an Oklahoma petroleum; by Joseph D. White [and] F. W. Rose, jr.