Малаховски, Я. М., и А. А. Шалыто. Реализация конечных автоматов на функциональных языках программирования. Информационно-управляющие системы, вып. 6, Dec. 2009, сс. 30-33, https://i-us.ru/index.php/ius/article/view/14898.