Foundations of Software Science and Computational Structures - Hutchison, David (Springer Berlin Heidelberg, 2012)