Normalization [chapter]

Helmut Schwichtenberg
1991 Logic, Algebra, and Computation  
Data Types, and its Applications 1 Zohar Manna, Richard Waldinger
doi:10.1007/978-3-642-76799-9_5 fatcat:p2vvxeblszcdjmt6vgcolqmqaa