Author: London) International Symposium on Theoretical Aspects of Software Engineering (7th 2013 Birmingham