1. Partitioning procedures for solving mixed-variables programming problems
2. L. P. Deutsch "An Interactive Program Verifier " Ph.D. dissertation University of California Berkeley California (June 1973). L. P. Deutsch "An Interactive Program Verifier " Ph.D. dissertation University of California Berkeley California (June 1973).
3. B. Elspas M. W. Green K. N. Levitt and R. J. Waldinger "Research in Interactive Program Proving Techniques " SRI Report 8398-II Stanford Research Institute Menlo Park California (1972). B. Elspas M. W. Green K. N. Levitt and R. J. Waldinger "Research in Interactive Program Proving Techniques " SRI Report 8398-II Stanford Research Institute Menlo Park California (1972).
4. B. Elspas K. N. Levitt and R. J. Waldinger "An Interactive System for the Verification of Computer Programs " Final Report SRI Project 1891 Stanford Research Institute Menlo Park California (1973). B. Elspas K. N. Levitt and R. J. Waldinger "An Interactive System for the Verification of Computer Programs " Final Report SRI Project 1891 Stanford Research Institute Menlo Park California (1973).