Sborník prací Hornického ústavu ČSAV. (ČSAV)