Computer programming and formal systems - Beklemishev. (Elsevier Science & Technology,)