Eric Lombroze, Johnson Lau, Pieter Wuille, 2015. The definitive specification for SegWit. Dense but precise. Every claim in Section 6.6 of this chapter derives from this document. - https://github.com/bitcoin/bips/blob/master/bip-0141.mediawiki