Теория дедуктивных систем и ее применения - Маслов С.Ю (Радио и связь, 1986)