کتاب مبانی نظریه محاسبات (نظریه زبان ها و ماشین ها)، اثر هری لویس، با ترجمه‌ی حسن تفضلی، در بازار نشر ایران، توزیع شده است. این محصول در سال 1385 توسط انتشارات دانشگاه صنعتی اصفهان، به چاپ رسیده است. این محصول در قطع و اندازه‌ی وزیری، در سایت ایده بوک قرار دارد.