General Formulation of Sequential Machines - Santos, ES; Wee, WG (Information and Control, 1968)