Verification: Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday - Dershowitz, Nachum; Dershowitz, Nachum (Springer Berlin Heidelberg : Imprint: Springer, 2003)