Teorija deduktivn'yh sistem i ee primenenija - Maslov, S.Ju (Radio i svjazi, 1986)