Microprogrammed State Machine Design, Hardcover by Lynch, Michel A., Ph.D., L...
He promotes a top-down approach that examines algorithms mathematically to exploit the simplifications resulting from choosing the proper representation and application of algebraic manipulation.