The design and analysis of algorithms / - Kozen, Dexter (Springer-Verlag, 1992)