G. Horváth, “Functor state machines”, Acta Cybern, vol. 5, no. 2, pp. 147-172, Jan. 1981.