3 added 8 characters in body

Recall that for a DVR A with fraction field F and residue field k, there is a "localization" fiber sequence in algebraic K-theory,

$$K(k) \rightarrow K(A) \rightarrow K(F).$$

In Remark 5.17 of his "Higher Algebraic K-theory: I" paper, Quillen gives an explicit description of the corresponding boundary map $\Omega: \partial:\Omega K(F) \rightarrow K(k)$, saying the proof will be in a later paper. My question is, has a proof appeared in the literature? I'd also be happy with proofs in the literature of any similar descriptions, e.g. involving the S-dot construction.

2 Used LaTex.

Recall that for a DVR A with fraction field F and residue field k, there is a "localization" fiber sequence in algebraic K-theory,

K(k) -->

$$K(k) \rightarrow K(A) --> K(F).\rightarrow K(F).$$

In Remark 5.17 of his "Higher Algebraic K-theory: I" paper, Quillen gives an explicit description of the corresponding boundary map \Omega $\Omega: K(F) --> K(k)\rightarrow K(k)$, saying the proof will be in a later paper. My question is, has a proof appeared in the literature? I'd also be happy with proofs in the literature of any similar descriptions, e.g. involving the S-dot construction.