Полный англо-русский словарь
Символическое кодирование, программирование с использованием псевдокодов