Văn bản này: Экспериментальное исследование автоформализации модели деятельности пользователя компьютера; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 5: Управление, вычислительная техника и информатика