Teorija deduktivnych sistem i jeje primenenija - Maslov, Sergej Jur´jevič (Moskva : Radio i svjaz´, 1986)