Books by China) International Symposium on Theoretical Aspects of Software Engineering (6th 2012 Beijing on BookTides.