PanLinx
русский
rus-000
система моделирования логики с бесконечным числом состояний
English
eng-000
ISLS
PanLex
