Robotika v baníctve - Badida, Miroslav, 1957- (Košice : Vysoká škola technická, 1988)