PanLinx
hrvatski
hrv-000
apstraktni strojevi
English
eng-000
abstract state machines
PanLex