Symmetric monoidal categories model all connective spectra. Thomason, R.W. — 1995 Theory and Applications of Categories [electronic only]
Les K-groupes d'un schéma éclaté et une formule d'intersection excédentaire. R.W. Thomason — 1993 Inventiones mathematicae
Lefschetz-Riemann-Roch theorem and coherent trace formula. R.W. Thomason — 1986 Inventiones mathematicae