ACM Conference on Proving Assertions about Programs (1972 New Mexico State University)