Sequential-circuit synthesis: state assignment aspects - Haring, Donald R. (The MIT Press, 1966)