On some categorical algebra aspects of automata theory the categorical properties of transition systems - Give'on, Yehoshafat (Univ. of Michigan, 1966)
Includes bibliographical references (p. 167-168)