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