Strong normalization proofs by CPS-translations
scientific article; zbMATH DE number 5664478