Author: ACM SIGSOFT Symposium on the Foundations of Software Engineering (1st 1993 Los Angeles, Calif.)