1. The basic question of proof has so far been ignored in data processing to an incredible degree. A review of recent work is given in: J. McCarthy,Problems in the Theory of Computation, Proc. IFIP Congress 65, Vol. 1, 1965, pp. 219–222.
2. Most of the work described there is heavily oriented towards the basic theoretical problems of computation. The General Snapshots of the present chapter are related to the state vectors of J. McCarthy: J. McCarthy,A Formal Description of a Subset of ALGOL, Proc. of a Conference on Formal Language Description Languages, Vienna, 1964.
3. However, the present approach, which is directly applicable in proving and constructing practical programs, is believed to be new. Similar concepts have been developed independently by Robert W. Floyd (unpublished paper, communicated privately).