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