Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering - Taylor, Richard N (ACM Conferences, 2004)