I am learning on-shell methods for one loop integrals from this paper: Loop amplitudes in gauge theory: modern analytic approaches by Britto. Starting with formula (18) spinor integration is explained. One first writes the loop momentum as $$(l)_{a\dot{a}}=t\lambda_a\tilde{\lambda}_\dot{a},$$ where $t\in \mathbb{R}^+$ and $\lambda$, $\tilde{\lambda}$ are spinors with $\tilde{\lambda}=\bar{\lambda}$. Why can I write $l$ in this way?
I know the decomposition $p=\lambda\tilde{\lambda}$ for momenta with $p^2=0$, but the loop momentum is not lightlike. I guess the Dirac-Delta in the integrand puts it on shell, but then where does the $t$ come from?
Next the integral over the loop momentum is turned into an integral over the spinors:
$$\int{d^4l\delta^{(+)}(l^2)f(l)}=-\int_0^\infty{\frac{t}{4}dt\int_{\tilde{\lambda}=\bar{\lambda}}{\langle\lambda \; d\lambda\rangle} [\tilde{\lambda} \; d\tilde{\lambda}] f(t,\lambda,\tilde{\lambda})}. $$
Can someone give the derivation of this formula or give me a reference where this is done?
Britto refers to the paper MHV Vertices And Tree Amplitudes In Gauge Theory by Cachazo, Svrcek and Witten. But there I can't find an explanation that I understand.