Author: ACM Conference on Proving Assertions about Programs (1972 Las Cruces, New Mexico)