Teorija deduktivnych sistem i jeje primenenija - Maslov, Sergej Jur´jevič (Kibernetika, 1986)