PanLinx
hrvatski
hrv-000
operacijska semantika
English
eng-000
operational semantics
PanLex