PanLinx
Esperanto
epo-000
operacia semantiko
English
eng-000
operational semantics
PanLex