"Reducción de los esquemas de recursión" de Daniel E. Severin . Aún no lo he empezado a leer (lo encontré ayer) pero me huele a obra maestra. No me explico como no lo encontré antes ni como no lo vi citado por nadie.
Tal vez el estar escrito en español y no inglés tenga algo que ver.