DESIGN AND ANALYSIS AND ALGORITHAMS - KOZEN, D. C. (SPRINGER VERLAG, 1992)