Бергверк Горный завод, рудник. (Термины российского архитектурного наследия. Плужников В.И., 1995) Архитектурный словарь