Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
ACM Digital Library