Mines and mining. Precautions to be taken when approaching old mine workinns; by D. Harrington and R. G. Warncke.