"Techniques for Solving Boolean Equation Systems" - читать интересную книгу автора (Misa Keinanen)