Mathematical Theory and Computational Practice - Ambos-Spies, Klaus; Hutchison, David; Kanade, Takeo; Löwe, Benedikt; Merkle, Wolfgang; Kittler, Josef (Springer Berlin Heidelberg, 2009)