Books by London) International Symposium on Theoretical Aspects of Software Engineering (7th 2013 Birmingham on BookTides.