Proceedings of an ACM Conference on Language Design for Reliable Software, Sheraton-Crabtree Inn, Raleigh, North Carolina, March 28-30, 1977 - Wortman, D. B. (Association for Computing Machinery, 1977)