Some results concerning proofs of statements about programsR.J. Orgass1970Journal of Computer and System Sciences