PanLinx
hrvatski
hrv-000
formalni opisni postupak
English
eng-000
formal description technique
PanLex