Coal conversion technology (Addison-Wesley, 1979)