Я. М. Малаховски, А. А. Шалыто
СПБГУ ИТМО

Конечные автоматы в чистых функциональных языках программирования.
Автоматы и Haskell
http://rsdn.ru/article/haskell/HaskellStateMachine.xml

ЗЫ. Всегда знал, что Хаскелл идеален для этих самых конечных автоматов...