Normalization [working material for the lectures of Helmut Schwichtenberg: Course on normalization, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989] - Schwichtenberg, Helmut 1942-; Schwichtenberg, Helmut 1942- (1989)