Полный англо-русский словарь
[Infinite State Logic Simulator] [программная] система моделирования логики с бесконечным числом состояний