Strong normalization by run-time code generation (1997)

by C V Balat, O Danvy