ACM SIGSOFT Symposium on the foundations of software engineering - Kaiser, Gal E (Software Engineering Notes, 1995)