Cynthia Dwork Larry J. Stockmeyer Finite State Verifiers II: Zero Knowledge. 829-858 1992 39 J. ACM 4 db/journals/jacm/jacm39.html#DworkS92a http://doi.acm.org/10.1145/146585.146601