"Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings" - читать интересную книгу автора (Jacques Duparc, Thomas A. Henzinger)