Publications
International Summer Schools , Architecture Reconstruction, 140–173. Springer Verlag, 2009. edited by Andrea De Lucia and Filomena Ferrucci. R. Koschke. Software Evolution , Identifying and Removing Software [...] volume 1467 of Lecture Notes in Computer Science, Springer Verlag, 1997; 322–337. K. Didrich, C. Gerke, W. Grieskamp, C. Maeder, P. Pepper. Towards Integrating Algebraic Specification and Functional P