Lefschetz-Riemann-Roch theorem and coherent trace formula. R.W. Thomason (1986) Inventiones mathematicae