Author: ACM Conference on Language Design for Reliable Software (1977 Raleigh, North Carolina)