Advanced Lectures on Software Engineering LASER Summer School 2007/2008 - MΓΌller, Peter (Springer-Verlag Berlin Heidelberg, 2010)