David Page, Géologie technologique, traité des applications de la géologie aux arts et à l'industrie… (1877)
“ Coke. — Le coke n'est rien autre chose que de la houille qu'on a soumise à une distillation en vase clos. Quand on distille de la houille, outre le gaz et les liquides qui s'échappent à l'état de vapeur, on obtient comme résidu un charbon qu'on désigne sous le nom de coke, et qui n'a pas toujours le même aspect. Si la houille qu'on emploie est maigre, c'est-à-dire si elle ne se ramollit pas par la chaleur, le coke conserve la forme primitive. ”
