Models of Computation in Context - Löwe, Benedikt; Kanade, Takeo; Normann, Dag; Soskov, Ivan; Soskova, Alexandra (Springer Berlin Heidelberg, 2011)