Oil shale processing technology - Allred, V. Dean, 1922- (Center for Professional Advancement, 1982)