Полный англо-русский словарь
Генерирование условий верификации (при доказательстве правильности программ)