Определение «Иванов червячок» по БСЭ: Иванов червячок - насекомое семейства мягкотелок отряда жуков; то же, что светляк.
Ивано-Франково Иванов червячок Иваново-Вознесенские стачки