Title: Proceedings of an ACM Conference on Proving Assertions about Programs, New Mexico State University, Las Cruces, New Mexico, January 1972
First published: 1972