Základy automatizácie v baníctve - Skalka, Bohumil (Edícia baníckej literatúry, 1989)