@book{Wis:2009:LNCCS:SynthCMCUProgrDevices, author = "R. Wi\'{s}niewski", title = "Synthesis of compositional microprogram control units for programmable devices", publisher = "University of Zielona Gora Press", address = "Zielona Gora", series = "Lecture Notes in Control and Computer Science", volume = "14", year = "2009", pages = "153", ISBN = "978-83-7481-293-1", }