Text this: Тоннельные машины и тоннельный транспорт: учебник для техникумов