anafunctors

What is the locus classicus for "anafunctors"? As far as I know, an anafunctor F: C -> D is a presheaf on C x D^{op} such that F(c,.) is representable for any object c of C. Is this how it's normally defined? Where is composition of anafunctors discussed? Are there other names for these things? John Baez