Теория секвентного анализа. Основы и применения (Хармут Хеннинг)