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