Author: ACM SIGSOFT Symposium on the Foundations of Software Engineering (4th 1996 San Francisco, Calif.)