Dobývacie a raziace stroje - Zajac, Oto (Dočasné vysokoškolské učebnice, 1986)