Logic Synthesis for Compositional Microprogram Control Units - Barkalov, Alexander; Titarenko, Larysa (Springer Berlin Heidelberg, 2008)