История маркшейдерского дела в документах XVI - XX вв by V. V. Grit︠s︡kov | Menrva Books