Theoretical Aspects of Computing – ICTAC 2007 - Jones, Cliff B.; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; Kittler, Josef; Woodcock, Jones (Springer Berlin Heidelberg, 2007)