Logic Synthesis For Compositional Microprogram Control Units door Alexander Barkalov & Larysa Titarenko