Ozidjivanje rudničkih okana, pruga, sporednih potkopa i t. d. (Rudarstvo, 1922)