Большая биографическая энциклопедия
Грязнов, Павел
адъюнкт-проф. уч. кораб. архитект. (нач. XIX в.).
{Венгеров}