Foundations of Software Science and Computation Structures - Aceto, Luca; Anna Ingólfsdóttir; Ingólfsdóttir, Anna; Kanade, Takeo (Springer Berlin / Heidelberg, 2006)