Logic Synthesis for Compositional Microprogram Control Units - Barkalov, Alexander. (Springer Berlin Heidelberg : Imprint: Springer, 2008)