Functional Arabic Morphology. Formal System and Implementation, [http://ufal.mff.cuni.cz/~smrz/elixir-thesis.pdf]