New sources of oil and gas : gases from coal; liquid fuels from coal, shale tar sands, and heavy oil sources (Pergamon Press, 1982)