KOZEN,D.C DESIGN & ANALYSIS OF ALGORITHMS - NEW YORK Springer 1992 - x+322p.,24X16cms., ISBN: 0387978676 Dewey Class. No.: 621.38195 K75