Programming Languages and Systems - Nicola, Rocco; De Nicola, Rocco; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2007)