Proofs of strong normalization (1980)

by R O Gandy