Теория секвентного анализа= Sequency theory fundations and applications Основы и применения - Хармут Х. (Мир, 1980)