Biczó, Pócza, 2009. Generating Functional Implementations of Finite State Automata in C# 3.0 238.. https://doi.org/10.1016/j.entcs.2009.05.002