http://front.math.ucdavis.edu/0603.5531
Fulton and MacPherson: Categorical framework for the study of singular spaces. In Geometry-Various folder. This seems to be the original source for bivariant theories in general, with quite a lot of material.
nLab page on Bivariant K-theory