Optimalizace větrání hlubokých dolů - Martínek, Karel (Zpráva, 1980)