Математическая энциклопедия
Нормальное исчисление,- важный частный случай Поста канонической системы. с. Ю. Мослов.