Библиотека поддержки автоматного программирования для языка
Haskell