Michael Karr "Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus. 208-222 1985 conf/tapsoft/1985-1 TAPSOFT, Vol.1 db/conf/tapsoft/tapsoft85-1.html#Karr85 http://dx.doi.org/10.1007/3-540-15198-2_13