SIGSOFT'96 : proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, San Fransisco, CA, 16-18 October 1996