Author: ACM SIGSOFT Symposium on the Foundations of Software Engineering (3rd 1995 Washington, D.C.)