Despite the fact that there is nothing as practical as a good theory such theories seem to lag behind practical applications. The reason is that theoretical investigations need a certain distance and maturity in order to produce good theories. They provide, however, valuable guidelines, even if, due to the necessary simplifications, the results are not directly applicable: they play a valuable role as signal posts.
/lp/association-for-computing-machinery/theoretical-aspects-of-microprogramming-a-review-of-relevant-papers-at-bFng9tTu8w