# Proof of continuity correction for normal approximation to binomial distribution?

I am trying to better understand the conditions under which the application of continuity correction is appropriate for the normal approximation to the binomial distribution.

Everything I have found says "this is something you should do" or gives an intuitive explanation, but I would like to see a formal proof or paper that addresses continuity correction. Does anyone know where I might be able to find one?

Thanks