I am looking for a reference (better a book) that contain integral Bochner formulas for domains with boundary (I need it for 1-forms and functions only).
So far I found "Spin geometry" by Lawson and Michelsohn --- based on II/§5, it is easy to derive any formula I need (but I am sure someone did it somewhere).