Trellises and Trellis-Based Decoding Algorithms for Linear Block Codes by Shu Lin & Tadao Kasami