Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
ACM Digital Library