Teorija deduktivnych sistem i jego primenenija - Maslov, Sergej Jurievič (Radio i svjaz, 1986)