Я. М. Малаховски и А. А. Шалыто, Реализация конечных автоматов на функциональных языках программирования, ИУС, вып. 6, сс. 30-33, дек. 2009.