Automatizácia banskej dopravy - Jaroš, Martin (Knižnica automatizácie, 1966)