Unifying Theories of Programming - Dunne, Steve; Kanade, Takeo; Stoddart, Bill; Kittler, Josef (Springer Berlin / Heidelberg, 2006)