Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
ACM Digital Library