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