Proceedings of ACM Conference on Proving Assertions About Programs (Association for Computing Machinery, 1972)