Батраков В.А. Автоматическое доказательство формул корректности предикатной программы в системе RUSSELL / В. А. Батраков, В. И. Шелехов, 2012. - 32 с. - Текст : непосредственный.
Эргономика пользовательских интерфейсов в информационных системах : учеб. пособие / А. А. Попов [и др.]. Ч. 1 : Теоретические основы разработки пользовательских интерфейсов, 2012. - 318 с. - Текст : непосредственный.