Meyer, André N., Fritz, Thomas, Murphy, Gail C. · Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering · 2014