Normal Order Reduction Lambda Calculus