"Mathematics of Program Construction, 7 conf., MPC 2004" - читать интересную книгу автора (Dexter Kozen, Carron Shankland)