В. С. Гуров, М. А. Мазин, и А. А. Шалыто, Автоматическое завершение ввода условий в диаграммах состояний, ИУС, вып. 1, сс. 24-33, фев. 2008.