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