Interpreted languages and compositionality - Kracht, Marcus (Springer, 2011)