Section 4.2: Clocking Methodology
Pages 261-262 discuss edge triggered sequential circuit design.