Verification and salt the state of the art and the art of the state - KATZ (Critical Issues (Washington D. C, 1979)