Математическая энциклопедия
Производная функции в направлении нормали к заданному многообразию. Л. Д. Кудрявцев.
Нормальная производная