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