Иванов червячок

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

Ивано-Франково    Иванов червячок    Иваново-Вознесенские стачки