Coal gasification by M.J. van der Burgt