Izdelovanje podzemnih prostorov, predorov in jaškov : učbenik za modul Izdelovanje podzemnih prostorov, predorov in jaškov v programih Geostrojnik rudar in Geotehnik