The ancient (1953) An Introduction to Abstract Harmonic Analysis by Loomis gives a Fubini quotient/Fubini type theorem for Haar measure. Here is a link for an online version.
BTW, the one time I ever cited Bourbaki as a reference was because its description of Haar measures on the affine group (Integration II, §7-9) is more concrete than any other I could find.

