Большая Советская Энциклопедия (КР) БСЭ БСЭ Кравчик Кра'вчик, жук семейства пластинчатоусых; то же, что головач .