https://eprint.iacr.org/2014/904 is the first complete description of TextSecure's complex cryptographic protocol and thorough security analysis.