Lefschetz-Riemann-Roch theorem and coherent trace formula. R.W. Thomason (1986) Inventiones mathematicae
Lefschetz-Riemann-Roch theorem for smooth algebraic schemes. Yuichiro Takeda (1992) Mathematische Zeitschrift