(18 . 3)(18 . 4)
5 567223 ffa_ch17_peh "Introduction to Peh."
6 569234 ffa_ch18_subroutines "Subroutines in Peh."
7 578827 ffa_ch19_peh_tuning_and_demos "Peh Tuning and Demo Tapes."
8 611618 ffa_ch20_litmus "A Peh-powered verifier for traditional GPG signatures."