Horváth, G. 1981. Functor state machines. Acta Cybernetica. 5, 2 (Jan. 1981), 147-172.