А. М. Чеботарьов and О. І. Курівчак, “REGULAR FORM SPECIFICATION OF L LANGUAGE DETERMINISTIC AUTOMATA”, SBT, vol. 1, no. 1, pp. 28–32, Nov. 2009.