Here is a good example of a comprehensive Notice and Demand.

I was looking at the 843 Form and it is not for overpayment of Income Tax. While that does not include refund of withholdings it may be best to file with a 1040 Form and use the 843 Form if the IRS should ever charge the frivolous penalty.