Proceedings of the ACM SIGSOFT International Symposium on the Foudations of Software Engineering | Menrva Books