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