"Computer Science Logic, 21 conf., CSL 2007" - читать интересную книгу автора (Jacques Duparc, Thomas A. Henzinger)