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