Большая биографическая энциклопедия
Антоний, строитель Арсеньева Рождественского мон.
1617 г. строитель Арсеньева Рождествен. м. в Новгороде.
{Половцов}