Williams. Chapter 10: pp. 300-309 (through brute force testing).
Williams. Chapter 3, § 3.2.2-3: pp. 39-47.