この資料をSMS送信: The design and analysis of algorithms / Dexter C. Kozen.