Základy automatizácie v baníctve - Skalka, Bohumil (rz1, 1983)