کتاب مقدمه ای بر نظریه محاسبات ج1 اثر مایکل سیپسر کتاب مقدمه ای بر نظریه محاسبات ج1 اثر مایکل سیپسربا ترجمه محمدحسن شیرعلی شهرضا در بازار نشر ایران توزیع شده است این کتاب در سال 1393 توسط انتشارات دانشگاه یزد به چاپ رسیده است  ودر سایت ایده بوک قرار دارد