Symposium on the Foundations of Software Engineering (1st 1993 Los Angeles, CA)