John L. Baker: Factorization of Scott-style automata. Category Theory Applied to Computation and Control 1974: 99-105