The geometry of the Random Code Ensemble: Gilbert-Varshamov distance (section 6.2)
Demonstration of the channel coding theorem (direct statement) for binary symmetric channels using the Random Code Ensemble: closest distance decoding (Section 6.3)
Reference book: "Information, physics,
and computation" by Mezard and Montanari