Formula 10.4.42

$Gi(z)=\pi^{-1}\int_{0}^{\infty}\sin(\frac{1}{3}t^{3}+zt)dt=\frac{1}{3}Bi(z)+\int_{0}^{z}[Ai(z)Bi(t)-Ai(t)Bi(z)]dt $