Theoretical Aspects of Computing - ICTAC 2009 - Leucker, Martin; Kanade, Takeo; Morgan, Carroll; Kittler, Josef; Morgan, Charles Carroll (Springer Berlin Heidelberg, 2009)