Reference for working with the implicit function theorem
Well, not to all of them, but nevertheless a nice approach: in the differential topology book by Bröcker and Jänich, they discuss various applications of the implicit function theorem and the theorem of constant rank maps, using them to build coordinate systems etc. Maybe this is worth a look. I only have the german edition (there it is in Chap 5) but I think there is an english version around. They formulate it for the real/smooth setting, though :( But the ideas are the same of course.
I have a good reference, which is even available online, but something tells me you will cry : the wikipedia page on the Théorème des fonctions implicites is more complete than its english counterpart!
Notice that they're refencing a Lang book... so perhaps that will do better.