Reference wanted

For a category E with finite limits, every morphism f:A\to B induces a pullback functor f^*:E/B\to E/A of slice categories, with a left adjoint given by u:a\to a' \mapsto u:fa\to fa'. It has been well known since the late 1960's that this left adjoint is comonadic, but who proved this, and where?