Hooked on Books: Program & Proof.