Describir: Introduction to underground coal mining : a programmed text.