Atlas of mining methods = Weltatlas der bergmannischen Abbauverfahren = Atlas mondial des methodes d'exploitation des mines == Atlas mundial de los metodos de explotacion mineros (Bohuslav Stoces, 1963)