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